Colored petri nets: A graphical language for formal modeling and validation of concurrent systems

Communications of the ACM

Volumn 58, Issue 6, 2015, Pages 61-70

  Jensen, Kurt ^a   Kristensen, Lars M ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b BERGEN UNIVERSITY COLLEGE   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; PETRI NETS;

ANALYSIS METHOD; COLORED PETRI NETS; CONCURRENT SYSTEMS; EXTENDED PETRI NET; FORMAL FOUNDATION; GRAPHICAL LANGUAGES; RESOURCE SHARING; SOFTWARE COMPONENT;

MODELING LANGUAGES;

EID: 84930152217     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/2663340     Document Type: Article

References (30)

1. Alur, R. and Dill, D. A Theory of timed automata. Theoretical Computer Science 126, 2(Apr. 1994), 183-235.
2. Biberstein, O., Buchs, D., and Guelfi, N. Objectoriented 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.
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
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.
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.
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.
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.
8. Genrich, H. and Lautenbach, K. System modelling with high-level Petri nets. Theoretical Computer Science 13, 1(1981), 109-136.
9. Girault, C. and Valk, E., Eds. Petri Nets for Systems Engineering. Springer-Verlag, Berlin-Heidelberg, 2003.
10. Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3(June 1987), 231-274.
11. Holzmann, G. The SPIN Model Checker. Addison-Wesley, 2003.
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.
13. Jensen, K. et al. Industrial Use of Coloured Petri Nets. CPN group at Aarhus University, Denmark; http://www.cs.au.dk/CPnets/industrialex
14. Jensen, K. Coloured Petri nets and the invariant method. Theoretical Computer Science 14, 3(1981), 317-336.
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.
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
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.
18. Marca, D. and McGowan, C. SADT: Structured Analysis and Design Technique. McGraw-Hill, New York, 1988.
19. Milner, R., Tofte, M., Harper, R., and MacQueen, D. The Definition of Standard ML. MIT Press, Cambridge, MA, 1997.
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.
21. Petri, C. A. Kommunikation mit Automaten, Schriften des Instrumentelle Mathematik (IIM) 2, Technical Report. Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
22. Reisig, W. Petri nets and algebraic specifications. Theoretical Computer Science 80, 1(Mar. 1991), 1-34.
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.
24. Shapiro, R. Towards a Design Methodology for Information Systems, Technical Report. In Petri, C. A.: Ansätze zur Organisationstheorie rechnergestützter Informationssysteme, 1978.
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.
26. Van Der Aalst, W. Interval timed coloured Petri nets and their analysis. In Proceedings of the 14th 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.
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.
28. Westergaard, M. et al. CPN tools for editing, simulating, and analysing coloured Petri nets. In Proceedings of the 24th 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
29. Westergaard, M., Evangelista, S., and Kristensen, L. M. ASAP: An extensible platform for state space analysis. In Proceedings of 30th 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.
30. Westergaard, M. and Lassen, K. The BRITNeY suite animation tool. In Proceedings of the 27th 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.