 |
Edges transport tokens. Every edge connects a place with a transition or vice versa. The direction of the edge indicates the direction of the token flow. |
 |
The loop edges enclose the body of the loop. The loop condition is documented in an annotation at the loop edge going into the look body. |
Edges are the only elements in a petri net that may cross the boundaries of a competency.
| Prev: Edge | Overview | Next: Transition |