Developed by Carl Adam Petri in the early 1960s, the Petri Net symbols are "places" (circles) that represent system states and "transitions" (rectangles) that show actions, both connected by ...