H Alla, R David - Journal of Circuits, Systems, and Computers, 1998 - World Scientific
Petri nets are widely used to model discrete event dynamic systems (computer systems,
manufacturing systems, communication systems…). When a PN contains a large number of …