Petri net

(redirected from Coloured Petri net)

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 ?
Colored Petri nets are particularly well suited for modeling and analyzing large and complex systems for several reasons: they have an intuitive graphical representation; they are executable; hierarchical models can be constructed; it is possible to model the time used by different activities in a system; and mature and well-tested tools exist for creating, simulating, and analyzing coloured Petri net models.
A non-hierarchical Coloured Petri Net is a nine-tuple CPN = [][][][][][][][][][][][][][][][][][][][] where
Application of coloured petri net in network communication protocol.
Analysis of fairness in payment protocols based on hierarchical timed coloured petri nets.
However, the basic Petri nets describing a real system tend to be complex and extremely large so that extended Petri nets (such as coloured Petri net and hierarchical Petri net) have been used to model a system (13), (14).
It may be combined Coloured Petri Net and Fuzzy sets so to result a new tool for modeling, simulation and control of flexible manufacturing system components.
A distributed Internet system model, initially described in compliance with Queueing Theory (QT) rules, is mapped onto the Timed Coloured Petri Net (TCPN) structure by means of queueing system templates.
2009) Coloured Petri Nets Modelling and Validation of Concurrent Systems.
The network built as a model of a manufacturing system in the paper was run using a commercial computer program written for Unix (CPN Tools), as a performant implementation of Coloured Petri Nets (The CPN Group, 2009).
High level Petri net solution: Pr/T net as executable specification High level Petri nets like coloured petri nets, numerical or algebraic petri nets have the possibility to define tokens with complex data structures.
The method is based on the concept of Timed Coloured Petri Nets (TCPN).
Based on coloured Petri nets [39], a unique colour is assigned to each common subnet as colour labels of its ingoing and outgoing arcs.