Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Towards a Monitoring Framework for Discrete-Event System Simulations
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Winter Simulation Conference
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets
Proceedings of the 45th Annual Simulation Symposium
Hi-index | 0.00 |
Petri Nets provide a graphical notation for modeling systems and performing analysis. Colored Petri Nets (CPNs) combine the strengths of ordinary Petri Nets with a high level programming language, making them more suitable for modeling large systems. A CPN model is an executable representation of a system that can be analyzed through simulation. CPN models are built using CPN Tools, a graphical software tool and interface used to create, edit, simulate, and analyze models. This tutorial is meant to introduce the reader to the vocabulary and constructs of CPNs and illustrate the use of CPN Tools in creating and simulating models by means of a familiar, simple example. In particular, we show how to create a CPN model of the call center example presented by White and Ingalls in their tutorial Introduction to Simulation.