Encyclopedia > Petri net

  Article Content

Petri net

A Petri net is a mathematical representation of discrete parallel systems. They were defined in the 1960s by Carl Adam Petri. Because of their ability to express concurrent events, Petri nets are a generalization of automata theory.

A petri net consists of places, transitions and directed arcs. Arcs connect a place to a transition and vice versa. There can be no arc between two places or between two transitions. Places may contain any number of tokens. Transitions fire, that is consume tokens from input positions and produce tokens in output positions. A transition is enabled if there are tokens in every input position.

In its most basic form, tokens in a Petri net are indistinguishable from each other. More complex Petri nets add token coloring, activation time and hierarchy to the network.

External links



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Flapper

... the style, and even cartoon characters such as Betty Boop and Minnie Mouse got into the act. Despite its popularity, the flapper lifestyle and look could not survive ...

 
 
 
This page was created in 39.7 ms