Petri net synthesis for discrete event control of manufacturing systems by MengChu Zhou | Lex | Lex