Cover Image
QR Code

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems.

The article discusses Colored Petri Nets (CPNs), which combine the mathematical modeling languages known as Petri Nets with a programming language in order to provide a scalable modeling language for use in concurrent systems. Particular focus is given to the core syntactical and semantical construc...

Full description

Published in:Communications of the ACM Vol. 58; no. 6; pp. 61 - 71
Main Authors: JENSEN, KURT, KRISTENSEN, LARS M.
Format: Article
Published: Association for Computing Machinery Jun2015
Subjects:
Petri nets
Modeling languages (Computer science)
Programming languages
Computer simulation
State-space methods
Computer multitasking
Online Access:View this record in EBSCOhost
Summary:The article discusses Colored Petri Nets (CPNs), which combine the mathematical modeling languages known as Petri Nets with a programming language in order to provide a scalable modeling language for use in concurrent systems. Particular focus is given to the core syntactical and semantical constructs of CPNs and to the validation of CPNs' quantitative and qualitative behavioral properties through simulation-based performance analysis. Other topics include state-space exploration and software-tool support for the use of CPNs.