Contemporary Issues in Systems Science and Engineering
MengChu Zhou
Petri net synthesis for discrete event control of manufacturing systems