Sintesi di logiche di controllo per sistemi di produzione a stato discreto mediante reti di Petri