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.
Application of coloured petri net in network communication protocol.
A conflict Solution Manufacturing System Modeling Using Fuzzy Coloured Petri Net," presentado en Systems Man and Cybernetics (SMC), 2010 IEEE International Conference on, Istanbul: pp.
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).
A coloured Petri net can deal with objects with various attributes.
LOOPN, a language for object-oriented Petri nets[3], is a language used to describe coloured Petri net models[9].
One of the tools used in this is Coloured Petri Net (David & Alla 1992).
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.
Coloured Petri Nets (CPNs or CP-nets) [6],[7] are type of Petri Nets [9] that are used in modeling of systems which contain discrete, concurrent and scattered events and had strong mathematical logic associated with Standard ML (SML) [10] programming language.
2009) Coloured Petri Nets Modelling and Validation of Concurrent Systems.
Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems // International Journal on Software Tools for Technology Transfer (STTT), 2007.
Punithavalli); (31) Modeling and Analysis of the Associative Based Routing (ABR) Protocol by Using Coloured Petri Nets (Rahul Bhargava and Rekha Kaushik); (32) A Framework of Distributed Dynamic Multi-Radio Multi-Channel Multi-Path Routing Protocol in Wireless Mesh Networks (K.