A diagram that models the behavior of a system. 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 arrows known as "arcs."
- Is a set of places.
- Is a set of transitions.
- And are disjoint, i.e. no object can be both a place and a transition.
- Is a set of arcs known as a flow relation. The set is subject to the constraint that no arc may connect two places or two transitions, or more formally: .
- Is an initial marking, where for each place , there are tokens.
- Is a set of arc weights, which assigns to each arc some denoting how many tokens are consumed from a place by a transition, or alternatively, how many tokens are produced by a transition and put into each place.
Origin of petri-net
- Named after Carl Adam Petri (1926–2010), German mathematician and computer scientist.