Petri net

(redirected from Coloured Petri net)

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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

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.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in periodicals archive ?
Narciso, "Revisiting state space exploration of timed coloured petri net models to optimize manufacturing system's performance," Simulation Modelling Practice and Theory, vol.
[20] Khan, NA, Ahmad, F., & Khan, SA., "Coloured Petri Net Modeling and Analysis for Community based Wireless Mesh Networks," in Proc.
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.
Models that express the power consumption of application commands and protocol actions are defined in CPN (Coloured Petri Net) [16-18].
A hierarchical coloured Petri net is a four-tuple [CPN.sub.H] = (S, SM, PS, FS) [21], where
Application of coloured petri net in network communication protocol.
Kato et al., "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].
Music, "Coloured Petri net scheduling models: timed state space exploration shortages," Mathematics and Computers in Simulation, vol.
One of the tools used in this is Coloured Petri Net (David & Alla 1992).