Petri net
Definition
A Petri net image is a graphical representation of a system's components and how they interact. It's a directed graph with nodes that represent places and transitions, and arcs that connect them.
Example Image
Writing Alternative Text
Describe the places, transitions, and tokens represented, the directional flows that connect them, and any notable states, conditions, or dynamic behaviors.
Example Alt Text
"A Petri net with four places labeled P1, P2, P3, P4 and two transitions labeled T1 and T2. Place P1 has one outgoing arc going to transiton T1. Transition T1 has two outgoing arcs that go to places P2 and P3. Places P2 and P3 have one outgoing arc each connecting to transition T2. Transition T2 has two outgoing arcs one goes back to place P1 the other is going to place P4. The initial marking has one token in P1, two tokens in P3, one token in P4 and no token in P2."