A Petri net is a directed bipartite graph that has two types of elements, places and transitions. It is a class of discrete event dynamic system. One of several mathematical modeling systems for the description of distributed systemsĪ Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.