Petri Net - Overview

A directed graph describing causal dependencies between events, operations, and activities and thus defining a process type. Transitions descibe the events, operations, and activities whereas the causal dependencies between them are described by the marking of the places. Petri nets are used to describe the behavior, the dynamic structure, of a system and of agents.

Places

Places are connected to transitions via edges.
Place single-token, multi-token and multi-token infinity.
Stack Place single-token, multi-token infinity
Return Place
Token

Transitions

Transitions describe things that happen.
Transition
NOP Transition (No Operation)

Edges

Edges connect places with transitions.
Edge direct, horizontal and vertical (Note: the horizontal and vertical shapes are both of the same auto-layout type, only having a different initial state)
Edge for loops upper, lower
Edge for strait loops upper, lower
Static L,S Edge horizontal, vertical.
Five Parted Edge

Places with Edges

Places are connected to transitions via edges.
Start Place direct, horizontal and vertical (Note: the horizontal and vertical shapes are both of the same auto-layout type, only having a different initial state)
Connecting Place direct, horizontal and vertical (Note: the horizontal and vertical shapes are both of the same auto-layout type, only having a different initial state)
End Place direct, horizontal and vertical (Note: the horizontal and vertical shapes are both of the same auto-layout type, only having a different initial state)

Misc

Swimlane Divider

Shared

These masters are part of all stencil sets, not only Petri Net.
Dots
Brace
Annotation
Title Block
Frame & Title Block