Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri nets.
Coloured Petri nets preserve useful properties of Petri nets and at the same time extend the initial formalism to allow the distinction between tokens.[1]
Coloured Petri nets allow tokens to have a data value attached to them. This attached data value is called the token color. Although the color can be of arbitrarily complex type, places in coloured Petri nets usually contain tokens of one type. This type is called the color set of the place.
Definition 1. A net is a tuple N = (P, T, A, Σ, C, N, E, G, I ) where:
P is a set of places.
T is a set of transitions.
A is a set of arcs
In coloured Petri nets, sets of places, transitions and arcs are pairwise disjoint P ∩ T = P ∩ A = T ∩ A = ∅
Σ is a set of color sets. This set contains all possible colors, operations and functions used within the coloured Petri net.
C is a color function. It maps places in P into colors in Σ.
N is a node function. It maps A into (P × T) ∪ (T × P).
E is an arc expression function. It maps each arc a ∈ A into the expression e. The input and output types of the arc expressions must correspond to the type of the nodes the arc is connected to.
Use of node function and arc expression function allows multiple arcs connect the same pair of nodes with different arc expressions.
G is a guard function. It maps each transition t ∈ T to a guard expression g. The output of the guard expression should evaluate to a Boolean value (true or false). If false, t cannot be fired.
I is an initialization function. It maps each place p into an initialization expression i. The initialization expression must evaluate to multiset of tokens with a color corresponding to the color of the place C(p).
A well-known program for working with coloured Petri nets is cpntools.
^Jensen, Kurt (1996). Coloured Petri Nets (2 ed.). Berlin: Heidelberg. pp. 234. ISBN 3-540-60943-1.
and 27 Related for: Coloured Petri net information
ColouredPetri nets are a backward compatible extension of the mathematical concept of Petri nets. ColouredPetri nets preserve useful properties of Petri...
A Petrinet, also known as a place/transition net (PT net), is one of several mathematical modeling languages for the description of distributed systems...
Clapham North tube station, London, London Underground station code CPN ColouredPetrinet Communist Party of Nepal Communist Party of the Netherlands Community...
succeeds Jorge Luis Guevara D´ıaz (2010). "Typestate oriented design - A colouredpetrinet approach" (PDF). Strom, Robert E. (1983). "Mechanisms for compile-time...
Moldt und Wienberg as extending ColouredPetri nets, aside the Object Nets of Valk. The earliest use of such hierarchic net models appeared by Rüdiger Valk...
reactions and processes. Laboratory glassware applications include flasks, petri dishes, test tubes, pipettes, graduated cylinders, glass lined metallic...
Kandinsky: Complete Writings on Art. New York: Da Capo Press, 1994. Liukkonen, Petri. "Wassily Kandinsky". Books and Writers (kirjasto.sci.fi). Finland: Kuusankoski...
Sanomat (in Finnish). Retrieved May 19, 2021. Norppalive – WWF Vironen, Petri (May 10, 2017). "Supersuosittu Norppalive palasi verkkoon – "Jokainen uusi...
2005]) explicitly provides unbounded nondeterminism. Petri nets and their extensions (e.g., colouredPetri nets) are like actors in that they are based on...
purple kit by mistake after an accident washing the old red and white coloured kits in the river.[citation needed] The away kit has always been predominantly...
which neither won the team scoring title was 1985–86, when it was won by Petri Skriko. For most of the second half of the 1980s, the Canucks competed with...
1963 to nine elements plus the soloist, adding the possibility of using coloured fumes. The following year the Fiat G.91PAN fighter-bombers arrived, then...
South African economist Dawie Roodt described the town as being "like a Petri dish" for economic research. In September 2012, a German documentary film...
commonly called molds. Mycelia grown on solid agar media in laboratory petri dishes are usually referred to as colonies. These colonies can exhibit growth...
stop tarnishing Cadmium bar and 1 cm3 cube Mercury being poured into a petri dish Oxidised lead nodules and 1 cm3 cube Lead is the most prevalent heavy...
Sertum Anglicum, seu, Plantae rariores quae in hortis juxta Londinum. Paris: Petri Francisci Didot. p. 11. Retrieved 11 March 2019. Brown, Roland Wilbur (1956)...
creator of the Finnstep (required pattern dance that season), ice dancer Petri Kokko, spoke out on Twitter to support Virtue and Moir. In addition, coach...
soot. The festival originates from the old liturgical holiday of Cathedra Petri, which was originally celebrated on February 22. The custom is also popular...
pridie id.Maii mccccxciii, in Pietro Martire d' Anghiera, Opus epistolarum Petri Martyris Anglerii Mediolanensis, Aedibus Michaelis de Eguia, 1530, lib.VI...
PMID 34861146. S2CID 244855649. Yirka, Bob. "A mass of human brain cells in a petri dish has been taught to play Pong". medicalxpress.com. Retrieved 16 January...
case, during the 11th century, prior to the Crusades, the "Milites Sancti Petri" were established to protect Christians and Christian premises in the Occident...
Hercules, mythical founder of both Cádiz and Seville. The Islote de Sancti Petri held the supposed tomb of Hercules, with representations of his Twelve labors;...
Mozart, Chopin, Wagner, Mussorgsky, and Stravinsky all wrote strongly coloured music. In some of Messiaen's scores, he notated the colours in the music...
creator of the Finnstep (required pattern dance that season), ice dancer Petri Kokko, spoke out on Twitter to support Virtue and Moir. In addition, coach...
Wahlsten, Matti; Laine, Pia; Rikkinen, Jouko; Lundell, Taina; Auvinen, Petri (2021). "Microbial communities of Cladonia lichens and their biosynthetic...