Cited By
View all- Gehlot VRobinson JTanwar MSloane EWickramasinghe N(2021)Toolkit for healthcare professionalsProceedings of the Winter Simulation Conference10.5555/3522802.3522868(1-12)Online publication date: 13-Dec-2021
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
Pages 1519 - 1533
Abstract
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 systems. However, Petri Nets do not scale well when it comes to modeling and simulating large systems. Colored Petri Nets (CPNs) extend Petri Nets with a high level programming language, making them more suitable for modeling large systems. The CPN language allows the creation of models as a set of modules in a hierarchical manner and permits both timed and untimed models. Untimed models are used to validate the logical correctness of a system, whereas timed models are used to evaluate performance. This tutorial introduces the reader to the vocabulary and constructs of both Petri Nets and CPNs and illustrates the use of CPN Tools in creating and simulating models by means of familiar simple examples.
References
[1]
David, R., and H. Alla. 2004. Discrete, Continuous and Hybrid Petri Nets. Berlin: Springer-Verlag.
[2]
Gehlot, V., and C. Nigro. 2010. "An Introduction to Systems Modeling and Simulation with Colored Petri Nets". In Proceedings of the 2009 Winter Simulation Conference, edited by B. Johansson, S. Jain, J. Montoya-Torres, J. Hugan, and E. Yücesan, 104--118. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
[3]
Haas, P. 2002. Stochastic Petri Nets: Modelling, Stability, Simulation. New York: Springer-Verlag.
[4]
Jensen, K. 1981. "Coloured Petri Nets and the Invariant Method". Theoretical Computer Science 14(3):317--336.
[5]
Jensen, K. 1994. "An Introduction to the Theoretical Aspects of Coloured Petri Nets". In A Decade of Concurrency, edited by J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Volume 803 of Lecture Notes in Computer Science, 230--272. Berlin-Heidelberg: Springer-Verlag.
[6]
Jensen, K., and L. M. Kristensen. 2009. Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Berlin-Heidelberg: Springer-Verlag.
[7]
Jensen, K., and L. M. Kristensen. 2015. "Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems". Communications of the ACM 58(6):61--70.
[8]
Jensen, K., L. M. Kristensen, and L. Wells. 2007. "Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems". International Journal on Software Tools for Technology Transfer 9(3):213--254.
[9]
Jensen, K., and G. Rozenberg. (Eds.) 1991. High-level Petri Nets---Theory and Application. Berlin-Heidelberg: Springer-Verlag.
[10]
Lindstrøm, B., and L. Wells. 2002. "Towards a Monitoring Framework for Discrete-Event System Simulations". In Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02), 127--134. IEEE Computer Society: Institute of Electrical and Electronics Engineers, Inc.
[11]
Murata, T. 1989. "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE 77(4):541--580.
[12]
Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. New Jersey: Prentice-Hall.
[13]
Petri, C. A. 1962. Kommunikation mit Automaten. Ph. D. thesis, Institut für Instrumentelle Mathematik, Bonn. English Translation, 1966: Communication with Automata, Technical Report RADC-TR-65-377, Rome Air Development Center, Air Force Systems Command, Griffiss Air Force Base, New York.
[14]
Popova-Zeugmann, L. 2013. Time and Petri Nets. Berlin: Springer.
[15]
Ramchandani, C. 1974. "Analysis of Asynchronous Concurrent Systems by Timed Petri Nets". Technical Report Project MAC, TR-120, MIT.
[16]
Reisig, W. 1985. Petri Nets---An Introduction. Berlin: Springer.
[17]
Reisig, W. 2013. Understanding Petri Nets. Berlin-Heidelberg: Springer-Verlag.
[18]
Ullman, J. D. 1998. Elements of ML Programming. New Jersey: Prentice-Hall.
[19]
Wang, J. 1998. Timed Petri Nets---Theory and Application. Boston: Kluwer Academic Publishers.
[20]
Wells, L. 2002. "Performance Analysis using Coloured Petri Nets". In Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS'02), 217--222. IEEE Computer Society: Institute of Electrical and Electronics Engineers, Inc.
[21]
White, Jr., K. P., and R. G. Ingalls. 2009. "Introduction to Simulation". In Proceedings of the 2009 Winter Simulation Conference, edited by M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, and R. G. Ingalls, 12--23. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
- From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
Recommendations
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsIt had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Petri nets and resource bisimulation
Concurrency specification and programmingResources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
IEEE Press
Publication History
Published: 18 May 2020
Check for updates
Qualifiers
- Research-article
Conference
WSC '19
Sponsor:
Acceptance Rates
Overall Acceptance Rate 3,413 of 5,075 submissions, 67%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 63Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Reflects downloads up to 29 Jul 2024
Other Metrics
Citations
Cited By
View all- Gehlot VRobinson JTanwar MSloane EWickramasinghe N(2021)Toolkit for healthcare professionalsProceedings of the Winter Simulation Conference10.5555/3522802.3522868(1-12)Online publication date: 13-Dec-2021
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.
Sign in