Petri net synthesis for discrete event control of manufacturing systems /by Mengchu Zhou and Frank DiCesare - Zhou, Mengchu; Dicesare, Frank (Boston KAP, 1993)