research-article

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Authors:

Lars Michael Kristensen,

Lisa WellsAuthors Info & Claims

International Journal on Software Tools for Technology Transfer, Volume 9, Issue 3-4

Pages 213 - 254

https://doi.org/10.1007/s10009-007-0038-x

Published: 01 June 2007 Publication History

Abstract

Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri nets provide the foundation of the graphical notation and the basic primitives for modelling concurrency, communication, and synchronisation. Standard ML provides the primitives for the definition of data types, describing data manipulation, and for creating compact and parameterisable models. A CPN model of a system is an executable model representing the states of the system and the events (transitions) that can cause the system to change state. The CPN language makes it possible to organise a model as a set of modules, and it includes a time concept for representing the time taken to execute events in the modelled system. CPN Tools is an industrial-strength computer tool for constructing and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis. User interaction with CPN Tools is based on direct manipulation of the graphical representation of the CPN model using interaction techniques, such as tool palettes and marking menus. A license for CPN Tools can be obtained free of charge, also for commercial use.

References

[1]

Adamski M.A., Karatkevich A., and Wegrzyn M. Design of Embedded Control Systems 2005 Berlin Springer

[2]

Andradóttir, S.: Simulation optimization. In: Banks [3], chap. 9

[3]

Banks J. Handbook of Simulation 1998 New York Wiley

[4]

Billington, J.: ISO/IEC 15909-1:2004 Software and system engineering. High-level Petri nets, Part 1: Concepts, definitions and graphical notation, 2004

[5]

Billington J., Diaz M., and Rozenberg G. Application of Petri Nets to Communication Networks, vol. 1605 1999 Berlin Springer

[6]

Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net approach to protocol verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. Advances in Petri Nets. In: Proceedings of 4th Advanced Course on Petri Nets, Lecture Notes in Computer Science, vol. 3018 pp. 210–290. Springer, Berlin (2004)

[7]

BRITNeY Suite. http://www.wiki.daimi.au.dk/britney/

[8]

Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured Petri Nets exploiting strongly connected components. In: Proceedings of International Workshop on Discrete Event Systems, pp. 169–177 (1996)

[9]

Christensen, S., Kristensen, L.M., Mailund, T.: Condensed state spaces for timed Petri Nets. In: Proceedings of International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 2075 pp. 101–120. Springer, Berlin (2001)

[10]

CPN Tools.: http://www.daimi.au.dk/CPNTools/

[11]

Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis. IEEE, (1994)

[12]

Examples of Industrial Use of CP-nets. http://www.daimi. au.dk/CPnets/intro/example_indu.html

[13]

Gallasch, G.E., Kristensen, L.M.: COMMS/CPN: A Communication Infrastructure for External Communication with Design/CPN. In: Proceedings of Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, pp. 75–91. Department of Computer Science, University of Aarhus, Denmark (2001)

[14]

Gnuplot.: http://www.gnuplot.info

[15]

ITU (CCITT).: Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992

[16]

Jensen K. Coloured Petri Nets. Basic concepts, analysis methods and practical use. Basic Concepts, vol. 1 1992 Berlin Springer

[17]

Jensen K. Coloured Petri Nets. Basic concepts, analysis methods and practical use. Analysis Methods, vol. 2 1994 Berlin Springer

[18]

Jensen, K. Condensed state spaces for symmetrical Coloured Petri Nets Formal Methods in System Design, vol. 9, (1996)

[19]

Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical use, vol. 3 1997 Berlin Springer

[20]

Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer Textbook (in preparation) Companion web site: www.daimi.au.dk/CPnets/ cpnbook.

[21]

Kelton, W.D., Sadowski, R.P., Sadowski, D.A.: Simulation with Arena, 2nd edn. McGraw-Hill, (2002)

[22]

Kleijnen, J.P.C.: Experimental design for sensitivity analysis, optimization, and validation of simulation models. In: Banks [3]

[23]

Kristensen L.M., Christensen S., and Jensen K. The Practitioner’s Guide to Coloured Petri Nets Int. J. Softw. Tools Technol. Transf. 1998 2 2 98-132

[24]

Kristensen, L.M., Jørgensen, J.B., Jensen, K.: Application of Coloured Petri Nets in System Development. In: Lectures on Concurrency and Petri Nets. Advances in Petri Nets. Proceedings of 4th Advanced Course on Petri Nets. Lecture Notes in Computer Science, vol. 3098, pp. 626–685. Springer, Berlin (2004)

[25]

Kristensen, L.M., Mailund, T.: A generalised sweep-line method for safety properties. In: Proceedings of Formal Methods Europe, Lecture Notes in Computer Science, vol. 2391, pp. 549–567. Springer, Berlin (2002)

[26]

Kristensen, L.M., Valmari, A.: Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In: Proceedings of International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 1420, pp. 104–123. Springer, Berlin (1998)

[27]

Law, A.M., Kelton, W.D.: Simulation Modeling and Analysis, 3rd edn. McGraw-Hill, (2000)

[28]

Mortensen, K.H.: Efficient data-structures and algorithms for a Coloured Petri Nets Simulator. In: Proceedings of Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2001

[29]

Object Management Group. Unified Modeling Language: Superstructure, version 2.0, formal/05-07-04, 2005

[30]

Proceedings of International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, Berlin 1980–present

[31]

Proceedings of Workshop on Modelling of Objects, Components, and Agents, 2001–present

[32]

Proceedings of Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 1998–present. http://www.daimi. au.dk/CPnets/

[33]

Reisig W. Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4 1985 Berlin Springer

[34]

Reisig W. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets 1998 Berlin Springer

[35]

SceneBeans. http://www.dse.doc.ic.ac.uk/Software/SceneBeans/

[36]

Standard ML of New Jersey. http://www.smlnj.org

[37]

Ullman J.D. Elements of ML Programming 1998 Englewood Cliffs Prentice-Hall

[38]

Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, vol. 1491 pp. 429–528. Springer, Berlin (1998)

[39]

van der Aalst W. and van Hee K. Workflow Management: Models, Methods, and Systems 2002 Cambridge, MA MIT Press

[40]

Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Proceedings of 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science, vol. 4024 pp. 431–440. Springer, Berlin (2006)

[41]

Yakovlev A., Gomes L., and Lavagno L. Hardware Design and Petri Nets 2000 Berlin Springer

Cited By

Zhang JMiao X(2024)Application of colored petri nets in security protocol analysisInternational Conference on Algorithms, Software Engineering, and Network Security10.1145/3677182.3677304(676-682)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3677182.3677304
Azad FCandan KKapkiç ALi MLiu HMandal PSheth PArslan BChowell-Puente GSabo JMuenich RRedondo Anton JSapino M(2024)(Vision Paper) A Vision for Spatio-Causal Situation Awareness, Forecasting, and PlanningACM Transactions on Spatial Algorithms and Systems10.1145/367255610:2(1-42)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1145/3672556
Zhong WZhao JHu H(2024)Non-interference assessment in colored net systems via integer linear programmingInformation Sciences: an International Journal10.1016/j.ins.2023.120027658:COnline publication date: 12-Apr-2024
https://dl.acm.org/doi/10.1016/j.ins.2023.120027
Show More Cited By

Index Terms

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
2. Software and its engineering

Index terms have been assigned to the content through auto-classification.

Recommendations

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the ...
Implementing Coloured Petri Nets Using a Functional Programming Language

Coloured Petri Nets (CPNs) are a graphically oriented modelling language for concurrent systems based on Petri Nets and the functional programming language Standard ML. Petri Nets provide the primitives for modelling concurrency and synchronisation. ...
Tools for Curry-Coloured Petri Nets
Application and Theory of Petri Nets and Concurrency
Abstract
The Curry-coloured Petri net (CCPN) simulation combines Petri nets with the purely functional logic programming language Curry. The most notable aspects of the CCPN simulator are the absence of side effects, the use of logic program evaluation for ...

Comments

Information & Contributors

Information

Published In

cover image International Journal on Software Tools for Technology Transfer (STTT)

International Journal on Software Tools for Technology Transfer (STTT) Volume 9, Issue 3-4

Jun 2007

297 pages

ISSN:1433-2779

EISSN:1433-2787

Issue’s Table of Contents

© Springer-Verlag 2007.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 2007

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhang JMiao X(2024)Application of colored petri nets in security protocol analysisInternational Conference on Algorithms, Software Engineering, and Network Security10.1145/3677182.3677304(676-682)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3677182.3677304
Azad FCandan KKapkiç ALi MLiu HMandal PSheth PArslan BChowell-Puente GSabo JMuenich RRedondo Anton JSapino M(2024)(Vision Paper) A Vision for Spatio-Causal Situation Awareness, Forecasting, and PlanningACM Transactions on Spatial Algorithms and Systems10.1145/367255610:2(1-42)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1145/3672556
Zhong WZhao JHu H(2024)Non-interference assessment in colored net systems via integer linear programmingInformation Sciences: an International Journal10.1016/j.ins.2023.120027658:COnline publication date: 12-Apr-2024
https://dl.acm.org/doi/10.1016/j.ins.2023.120027
Abdelgawad MRay I(2024)Resiliency Analysis of Mission-Critical System of Systems Using Formal MethodsData and Applications Security and Privacy XXXVIII10.1007/978-3-031-65172-4_10(153-170)Online publication date: 14-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-65172-4_10
Zhang WSalcic ZMalik A(2023)Designing, Modeling and Analysis of GALS Software SystemsIEEE Transactions on Software Engineering10.1109/TSE.2023.327805549:8(3989-4003)Online publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3278055
Ning HAn YWei YWu NMu CCheng HZhu C(2023)Modeling and analysis of traffic warning message dissemination system in VANETsVehicular Communications10.1016/j.vehcom.2022.10056639:COnline publication date: 1-Feb-2023
https://dl.acm.org/doi/10.1016/j.vehcom.2022.100566
Hu FWang WZhou J(2023)Petri nets-based digital twin drives dual-arm cooperative manipulationComputers in Industry10.1016/j.compind.2023.103880147:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.compind.2023.103880
Yu WWang XFang XZhai X(2023)Modeling and analytics of multi-factor disease evolutionary process by fusing petri nets and machine learning methodsApplied Soft Computing10.1016/j.asoc.2023.110325142:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.asoc.2023.110325
Abdelgawad MRay IVasquez T(2023)Workflow Resilience for Mission Critical SystemsStabilization, Safety, and Security of Distributed Systems10.1007/978-3-031-44274-2_37(498-512)Online publication date: 2-Oct-2023
https://dl.acm.org/doi/10.1007/978-3-031-44274-2_37
Prince T(2023)On Verifying Unbounded Client-Server SystemsMulti-Agent Systems10.1007/978-3-031-43264-4_33(465-471)Online publication date: 14-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43264-4_33
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents