A Petri net is a mathematical, graphical, executable technique for the specification, modeling and analysis of concurrent, discrete-event dynamic systems. Petri net is a directed bipartite graph, in which the nodes represent ...