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 ?
A non-hierarchical Coloured Petri Net is a nine-tuple CPN = [][][][][][][][][][][][][][][][][][][][] where
Software model checking with Clips interpreted Petri nets is presented in (Blaskovic & Randic, 2010).
A Modular Coloured Petri Net with changeable structures (MCPN-CS) workflow modelling method is proposed.
The Petri Net language that we need to define for this pattern has no special features, and can be specified as follows : [mu]0 = (1,.
In a traditional non-timed Petri net, the state of the net consists solely of a marking, M.
A subclass of Petri nets, augmented marked graphs possess a structure especially for modelling common resources.
In Chapter 5 and Chapter 6 is described executable specification high level petri net and simulation program respectively.
Modeling method based on Petri net exists a single mapping between service system and the Petri net, it will affect the flexibility of describing the transformation of service status, the structure of the service model is not well.
Guan and colleagues ([31]) propose the design and prototype implementation of a scientific Grid infrastructure using a Petri-net-based interface; OGSA resource management and task scheduling is extended by Liu and colleagues ([32]) using Timed Petri nets for allowing services definition; a Colored Petri net-based model is depicted by Zhao and colleagues ([10]) for studying job scheduling problems; Colored Petri nets are also used by van der Aalst and colleagues ([40]) for specifying and validating a reference model for Grid architectures.
In this paper Petri net has been used as model and CLIPS as a tool for analysis.