World Library  
Flag as Inappropriate
Email this Article

Coloured Petri net

Article Id: WHEBN0002544318
Reproduction Date:

Title: Coloured Petri net  
Author: World Heritage Encyclopedia
Language: English
Subject: Nets within Nets, Petri nets, CPN
Publisher: World Heritage Encyclopedia

Coloured Petri net

Coloured Petri nets (CPN) are a backward compatible extension of the concept of Petri nets.

CPN preserve useful properties of Petri nets and at the same time extend 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 token color. Although the color can be of arbitrarily complex type, places in CPNs usually contain tokens of one type. This type is called 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 CPNs sets of places, transitions and arcs are pairwise disjoint P T=P A=T A=

  • Σ is a set of color sets defined within CPN model. This set contains all possible colors, operations and functions used within CPN.
  • 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 type of nodes the arc 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 into guard expression g. The output of the guard expression should evaluate to Boolean value true or false.
  • 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 softwareprogram is cpntools.


  1. ^ Jensen, Kurt (1996). Coloured Petri Nets (2 ed.). Berlin: Heidelberg. p. 234.  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.