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