Petri net


Also found in: Acronyms, Wikipedia.

Petri net

[′pē·trē ‚net]
(communications)
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.

FAQ.

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 ?
Figure 3 shows a part of the P-time Petri Net modeling a single directional segment.
These manuscripts provide valuable supports for our work; the simulation framework, control methods of the terminal entities, and Petri Net models of terminal activities are used as references in our simulation platform.
Boel, "A continuous petri net approach for model predictive control of traffic systems," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.
Caption: Figure 2: The Petri Net illustrating behavior model constructed from the raw logs (a) and from motif-labeled logs (b) of the proximity sensors.
Basic Concepts of the Petri Net. Petri nets, namely, place transition, are classical models depicting discrete event dynamic system characteristics of concurrency, uncertainty, and workflow [10].
Koch, "Petri nets - A mathematical formalism to analyze chemical reaction networks," Molecular Informatics, vol.
Through the simulation and performance evaluation of the stochastic Petri net, it can be concluded that the CSVS system based on the key-frame index function can effectively improve the efficiency of video retrieval.
"Supervisor simplification for AMS based on Petri nets and inequality analysis," IEEE Trans.
Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, San Diego, Calif, USA, 1998.
In a signaling Petri net, its aim is to predict signal flow through a cell-specific network in experimental conditions [49].
His research interests are formal modeling, verification and simulation and Petri net theory and applications.