A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the descr iption of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. eve