Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Description

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.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Coloured Petri Nets: Modelling and Validation of Concurrent Systems" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3053
2. [share_ebook] Coloured Petri Nets: Modeling and Validation of Concurrent Systems
3. Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009
4. Lectures on Concurrency and Petri Nets: Advances in Petri Nets
5. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
6. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
7. Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
8. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
9. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
10. Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools (ReUp)
11. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
12. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
13. Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools (Advanced Textbooks in Control and Signal Processing)
14. Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
15. Stochastic Petri Nets
16. Stochastic Petri Nets