S Peng,
M Zhou - International Journal of Production Research, 2003 - Taylor & Francis
Petri nets have been extensively applied for specification, design, verification, performance
evaluation, and simulation of discrete event control systems (DECS). The usual way to verify …