Definitions for "Petri net"
Petri nets were invented by Carl Adam Petri to model concurrent systems and the network protocols used with these systems. The Petri net is a directed bipartite graph with nodes representing either "places" (represented by circles) or "transitions" (represented by rectangles). When all the places with arcs to a transition (its input places) have a token, the transition "fires", removing a token from each input place and adding a token to each place pointed to by the transition (its output places).
a bipartite graph composed of two classes of nodes called places and transitions , normally associated with systems conditions for occurrence of events and actual occurrence of the events, respectively
a directed bipartite graph whose two www
a static and global control structure, with no ability to support dynamic entities