Biberstein, O., Buchs, D., and Guelfi, N. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In Concurrent Object-Oriented Programming and Petri Nets - Advances in Petri Nets, Lecture Notes in Computer Science 2001. Springer-Verlag, Berlin-Heidelberg, 2001, 73--130.

Digital Library

Google Scholar

[3]

Billington, J. ISO/IEC 15909-1:2004, Software and System Engineering - High-Level Petri Nets - Part 1: Concepts, Definitions and Graphical Notation. ISO/IEC, Switzerland, Dec. 2004; http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=38225

Google Scholar

[4]

Chiola, G., Dutheillet, C., Franceschinis, G., and Haddad, S. On well-formed coloured nets and their symbolic reachability graph. Chapter 13 in High-Level Petri Nets, Springer-Verlag, Berlin-Heidelberg, 1991, 373--396.

Google Scholar

[5]

Chiola, G., Dutheillet, C., Franceschinis, G., and Haddad, S. Stochastic well-formed coloured nets and symmetric modelling applications. IEEE Transactions on Computers 42, 11 (Nov. 1993), 1343--1360.

Digital Library

Google Scholar

[6]

Christensen, S., Jørgensen, J.B., and Kristensen, L.M. Design/CPN: A computer tool for coloured Petri nets. In Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems (Enschede, the Netherlands, Apr. 2--4) Lecture Notes on Computer Science 1217. Springer-Verlag, Berlin-Heidelberg, 1997, 209--223.

Digital Library

Google Scholar

[7]

Christensen, S., Kristensen, L.M., and Mailund, T. A sweep-line method for state space exploration. In Proceedings of the Seventh International Conference on Tools and Algorithms for Construction and Analysis of Systems (Genova, Italy, Apr. 2--6) Lecture Notes on Computer Science 2031. Springer-Verlag, Berlin-Heidelberg, 2001, 450--464.

Digital Library

Google Scholar

[8]

Genrich, H. and Lautenbach, K. System modelling with high-level Petri nets. Theoretical Computer Science 13, 1 (1981), 109--136.

Crossref

Google Scholar

[9]

Girault, C. and Valk, E., Eds. Petri Nets for Systems Engineering. Springer-Verlag, Berlin-Heidelberg, 2003.

Digital Library

Google Scholar

[10]

Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June 1987), 231--274.

Digital Library

Google Scholar

[11]

Holzmann, G. The SPIN Model Checker. Addison-Wesley, 2003.

Google Scholar

[12]

Huber, P., Jensen, K., and Shapiro, R. Hierarchies in coloured Petri nets. In Advances in Petri Nets 1990, Lecture Notes on Computer Science 483. Springer-Verlag, Berlin-Heidelberg, 1991, 313--341.

Digital Library

Google Scholar

[13]

Jensen, K. et al. Industrial Use of Coloured Petri Nets. CPN group at Aarhus University, Denmark; http://www.cs.au.dk/CPnets/industrialex/

Google Scholar

[14]

Jensen, K. Coloured Petri nets and the invariant method. Theoretical Computer Science 14, 3 (1981), 317--336.

Crossref

Google Scholar

[15]

Jensen, K. Coloured Petri Nets. Vols. 1--3: Basic Concepts, Analysis Methods, Practical Use. Monographs in Theoretical Computer Science. Springer-Verlag, Berlin-Heidelberg, 1992--1997.

Google Scholar

[16]

Jensen, K. and Kristensen, L.M. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag, Berlin-Heidelberg, 2009; http://www.cpnbook.org

Digital Library

Google Scholar

[17]

Kristensen, L.M. and Jensen, K. Teaching modelling and validation of concurrent systems using coloured Petri nets. In Transactions on Petri Nets and Other Models of Concurrency I, Lecture Notes in Computer Science 5100 (Aug. 2008), 19--34.

Digital Library

Google Scholar

[18]

Marca, D. and McGowan, C. SADT: Structured Analysis and Design Technique. McGraw-Hill, New York, 1988.

Digital Library

Google Scholar

[19]

Milner, R., Tofte, M., Harper, R., and MacQueen, D. The Definition of Standard ML. MIT Press, Cambridge, MA, 1997.

Digital Library

Google Scholar

[20]

Mortensen, K.H. Efficient data structures and algorithms for a coloured Petri nets simulator. In Proceedings of the Third Workshop and Tutorial on Practical Use of Colored Petri Nets and CPN Tools (Aarhus, Denmark, Aug. 29--31). Department of Computer Science, University of Aarhus, Denmark, 2001, 57--74.

Google Scholar

[21]

Petri, C.A. Kommunikation mit Automaten, Schriften des Instrumentelle Mathematik (IIM) 2, Technical Report. Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.

Google Scholar

[22]

Reisig, W. Petri nets and algebraic specifications. Theoretical Computer Science 80, 1 (Mar. 1991), 1--34.

Digital Library

Google Scholar

[23]

Schiffers, M. and Wedde, H. Analyzing program solutions of coordination problems by CP-nets. In Proceedings of Seventh Symposium of Mathematical Foundations of Computer Science (Zakopane, Poland, Sept. 4--8), Lecture Notes in Computer Science 64. Springer-Verlag, Berlin-Heidelberg, 1978, 462--473.

Google Scholar

[24]

Shapiro, R. Towards a Design Methodology for Information Systems, Technical Report. In Petri, C.A.: Ansätze zur Organisationstheorie rechnergestützter Informationssysteme, 1978.

Google Scholar

[25]

Valk, R. Object petri nets: Using the nets-within-nets paradigm. In Advances in Petri Nets, Lecture Notes on Computer Science 3098. Springer-Verlag, Berlin-Heidelberg, 2004, 819--848.

Google Scholar

[26]

van der Aalst, W. Interval timed coloured Petri nets and their analysis. In Proceedings of the 14^th International Conference on Application and Theory of Petri Nets (Chicago, June 21--25), Lecture Notes on Computer Science 691. Springer-Verlag, Berlin-Heidelberg, 1993, 453--472.

Digital Library

Google Scholar

[27]

Wells, L.M. Performance analysis using CPN tools. In Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools (Pisa, Italy, Oct. 11--13), Vol. 180 of ACM Conference Proceeding Series. ACM Press, New York, 2006, article no. 59.

Digital Library

Google Scholar

[28]

Westergaard, M. et al. CPN tools for editing, simulating, and analysing coloured Petri nets. In Proceedings of the 24^th International Conference on Applications and Theory of Petri Nets (Eindhoven, the Netherlands, June 23--27) Lecture Notes on Computer Science 2679. Springer-Verlag, Berlin-Heidelberg, 2003, 450--462; see also http://www.cpntools.org

Digital Library

Google Scholar

[29]

Westergaard, M., Evangelista, S., and Kristensen, L.M. ASAP: An extensible platform for state space analysis. In Proceedings of 30^th International Conference on Application and Theory of Petri Nets (Paris, June 22--26) Lecture Notes on Computer Science 5606. Springer-Verlag, Berlin-Heidelberg, 2009, 303--312.

Digital Library

Google Scholar

[30]

Westergaard, M. and Lassen, K. The BRITNeY suite animation tool. In Proceedings of the 27^th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Turku, Finland, June 26--30) Lecture Notes on Computer Science 4024. Springer-Verlag, Berlin-Heidelberg, 2006, 431--440.

Digital Library

Google Scholar

Cited By

View all

Zhou W(2024)MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication PipeliningElectronics10.3390/electronics1314285213:14(2852)Online publication date: 19-Jul-2024
https://doi.org/10.3390/electronics13142852
Ali NPunnekkat SRauf A(2024)Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri netsJournal of Systems and Software10.1016/j.jss.2024.111958210(111958)Online publication date: Apr-2024
https://doi.org/10.1016/j.jss.2024.111958
Borràs ACalvet LPiera M(2024)Increasing airspace capacity by improving ATCo’s efficiency through an innovative handover mechanismComputers & Industrial Engineering10.1016/j.cie.2024.110513(110513)Online publication date: Aug-2024
https://doi.org/10.1016/j.cie.2024.110513
Show More Cited By

Index Terms

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

Recommendations

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
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. ...
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2

Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 58, Issue 6

June 2015

94 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2783419

Editor:
Moshe Y. Vardi
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 May 2015

Published in CACM Volume 58, Issue 6

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

113
Total Citations
View Citations
3,146
Total Downloads

Downloads (Last 12 months)297
Downloads (Last 6 weeks)22

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zhou W(2024)MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication PipeliningElectronics10.3390/electronics1314285213:14(2852)Online publication date: 19-Jul-2024
https://doi.org/10.3390/electronics13142852
Ali NPunnekkat SRauf A(2024)Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri netsJournal of Systems and Software10.1016/j.jss.2024.111958210(111958)Online publication date: Apr-2024
https://doi.org/10.1016/j.jss.2024.111958
Borràs ACalvet LPiera M(2024)Increasing airspace capacity by improving ATCo’s efficiency through an innovative handover mechanismComputers & Industrial Engineering10.1016/j.cie.2024.110513(110513)Online publication date: Aug-2024
https://doi.org/10.1016/j.cie.2024.110513
Henschen LLee J(2024)Petri Nets for modeling concurrency and shared resourcesEmbedded System Design10.1016/B978-0-443-18470-3.00005-1(91-133)Online publication date: 2024
https://doi.org/10.1016/B978-0-443-18470-3.00005-1
Ahishakiye FJarabo JKristensen LStolz V(2024)Coverage visualization and analysis of net inscriptions in coloured Petri net modelsInnovations in Systems and Software Engineering10.1007/s11334-023-00528-z20:1(17-30)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s11334-023-00528-z
Júnior JSobrinho ÁSilva LCunha PCordeiro TPerkusich ALima A(2024)A coloured Petri nets-based system for validation of biomedical signal acquisition devicesThe Journal of Supercomputing10.1007/s11227-024-06012-080:10(14242-14271)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1007/s11227-024-06012-0
Clasen LMoldt DHansson MIhlenfeldt KSeifert L(2024)Associative Composition of Web Service Invocation Sequences Based on Agent Interaction DiagramsIntelligent Distributed Computing XVI10.1007/978-3-031-60023-4_21(232-248)Online publication date: 1-Jul-2024
https://doi.org/10.1007/978-3-031-60023-4_21
Deabes WBouazza KAlgthami W(2023)Smart Fuzzy Petri Net-Based Temperature Control Framework for Reducing Building Energy ConsumptionSensors10.3390/s2313598523:13(5985)Online publication date: 28-Jun-2023
https://doi.org/10.3390/s23135985
He YDong HWu HDuan Q(2023)Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPNElectronics10.3390/electronics1210215212:10(2152)Online publication date: 9-May-2023
https://doi.org/10.3390/electronics12102152
Feng TBei H(2023)Evaluation and Improvement of Internet Printing Protocol Based on HCPN Model Detection MethodApplied Sciences10.3390/app1306346713:6(3467)Online publication date: 8-Mar-2023
https://doi.org/10.3390/app13063467
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation

Implementing Coloured Petri Nets Using a Functional Programming Language

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations