Phawade Ramchandra Babasaheb
(The Institute of Mathematical Sciences, 2014)
Petri nets are a formal model of concurrent systems. They were first defined by Petri in
his thesis [Pet62] and were presented at the IFIP 1962 congress in Munich [Pet63]. Nets
are widely used in modelling various aspects ...