Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
ASAP: An Extensible Platform for State Space Analysis
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Journal of Biomedical Informatics
The modeling of flow of IT equipment to a unit of services IT by coloured Petri net
MAMECTIS'10 Proceedings of the 12th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Coloured Petri net refinement specification and correctness proof with Coq
Innovations in Systems and Software Engineering
Automatic structure-based code generation from coloured Petri nets: a proof of concept
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Formal verification of UML state diagrams: a petri net based approach
ACM SIGSOFT Software Engineering Notes
The APEX framework: prototyping of ubiquitous environments based on Petri nets
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Modeling a Jackson networks with series queues using a temporise stochastic coloured Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Scalable CP-nets modeling for BitTorrent protocol
Proceedings of the 2011 ACM Symposium on Applied Computing
Modeling and simulation of a team game with coloured Petri nets
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Search-order independent state caching
Transactions on Petri nets and other models of concurrency IV
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
ECC'11 Proceedings of the 5th European conference on European computing conference
Modelling multiagent systems with the help of generalized nets of active resources
Cybernetics and Systems Analysis
Modeling animations for dependable interactive applications
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Hybrid search algorithm to optimize scheduling problems for TCPN models
Proceedings of the 2010 Summer Computer Simulation Conference
Formal modelling and initial validation of the chelonia distributed storage system
GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
Modeling and verification of a protocol for operational support using coloured petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Developing a supply chain disruption analysis model: Application of colored Petri-nets
Expert Systems with Applications: An International Journal
Mashups and widget orchestration
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Science of Computer Programming
Constructing formal rules to verify message communication in distributed systems
The Journal of Supercomputing
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
The sweep-line state space exploration method
Theoretical Computer Science
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Towards a certified petri net model-checker
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
People transfer in city transport modeled via CPN
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Formalizing non-concurrent UML state machines using colored petri nets
ACM SIGSOFT Software Engineering Notes
Modeling and analyzing the impact of authorization on workflow executions
Future Generation Computer Systems
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Uniting global and local context behavior with context Petri nets
Proceedings of the International Workshop on Context-Oriented Programming
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets
Proceedings of the 45th Annual Simulation Symposium
International Journal of Metadata, Semantics and Ontologies
HTCPNs---Based modelling and evaluation of dynamic computer cluster reconfiguration
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Design, verification and prototyping the next generation of desktop grid middleware
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
Integrating timed coloured Petri net models in the SIMIO simulation environment
Proceedings of the 2011 Summer Computer Simulation Conference
Usage of petri nets for high performance computing
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Agent system for managing distributed mobile interactive documents in knowledge-based organizations
Transactions on Compuational Collective Intelligence VI
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Model based specification, verification, and test generation for a safety fieldbus profile
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
A Smart Card Based Efficient and Secured Multi-Server Authentication Scheme
Wireless Personal Communications: An International Journal
Extreme symmetries in complex distributed systems: the bag-oriented approach
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Improving cluster tools performance using colored Petri nets in semiconductor manifacturing
Proceedings of the Winter Simulation Conference
On reproducibility and traceability of simulations
Proceedings of the Winter Simulation Conference
An introduction to systems modeling and simulation with colored petri nets
Proceedings of the Winter Simulation Conference
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Information Technology and Web Engineering
A publication-subscription interaction schema for desktop grid computing
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Verification of OSPF vulnerabilities by colored Petri net
Proceedings of the 6th International Conference on Security of Information and Networks
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Colouring space - a coloured framework for spatial modelling in systems biology
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Net-based analysis of event processing networks: the fast flower delivery case
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
CPN tools 4: multi-formalism and extensibility
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Mixing paradigms for more comprehensible models
BPM'13 Proceedings of the 11th international conference on Business Process Management
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
On Compositionality of Boundedness and Liveness for Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
| Hi-index | 0.00 |
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains. Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals. Book website:http://www.cs.au.dk/CPnets/cpnbook/