Petri net

Also found in: Acronyms, Wikipedia.

Petri net

[′pē·trē ‚net]
An abstract, formal model of information flow, which is used as a graphical language for modeling systems with interacting concurrent components; in mathematical terms, a structure with four parts or components: a finite set of places, a finite set of transitions, an input function, and an output function.

Petri net

(parallel, simulation)
A directed, bipartite graph in which nodes are either "places" (represented by circles) or "transitions" (represented by rectangles), invented by Carl Adam Petri. A Petri net is marked by placing "tokens" on places. When all the places with arcs to a transition (its input places) have a token, the transition "fires", removing a token from each input place and adding a token to each place pointed to by the transition (its output places).

Petri nets are used to model concurrent systems, particularly network protocols.

Variants on the basic idea include the coloured Petri Net, Time Petri Net, Timed Petri Net, Stochastic Petri Net, and Predicate Transition Net.


Petri Net

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."

Petri Net Symbols
Petri Nets are often used to show concurrency as in example #2.
References in periodicals archive ?
20] Xu D, "A tool for automated test code generation from high-level Petri nets," Applicant.
His research interests are formal modeling, verification and simulation and Petri net theory and applications.
In the field of switching device open circuit fault diagnosis, an automatic reasoning machine based on object-oriented colored Petri net (OOCPN) is proposed in this paper.
It uses these streams of events to automatically build Petri net models of the synchronous system operation.
At the same time the simulation for the adaptive fuzzy Petri net is performed.
Petri net can be established layered, it is easy to describe the distributed hierarchical system.
According to the discussion above, an atomic process in OWL-S can be translated into the Petri net model given in Fig.
The availability of log data and advanced intelligent strategies such as process mining, genetic algorithms, neural networks, computational intelligence, artificial intelligence, and agent based modeling, expert systems, fuzzy logic modeling techniques, combined with UML diagrams or Petri nets models enable a new form of advanced auditing tools.
CPN is a discrete-event modeling language that combines Petri nets with the functions of programming language standard ML.