Rappresentazione ed analisi, con Reti di petri, di sistemi di lavorazione