Coloured Petri Nets

Modelling and Validation of Concurrent Systems

  • Kurt Jensen
  • Lars M. Kristensen

Table of contents

  1. Front Matter
    Pages i-ix
  2. Kurt Jensen, Lars M. Kristensen
    Pages 1-12
  3. Kurt Jensen, Lars M. Kristensen
    Pages 13-41
  4. Kurt Jensen, Lars M. Kristensen
    Pages 43-77
  5. Kurt Jensen, Lars M. Kristensen
    Pages 79-94
  6. Kurt Jensen, Lars M. Kristensen
    Pages 95-125
  7. Kurt Jensen, Lars M. Kristensen
    Pages 127-149
  8. Kurt Jensen, Lars M. Kristensen
    Pages 151-187
  9. Kurt Jensen, Lars M. Kristensen
    Pages 189-201
  10. Kurt Jensen, Lars M. Kristensen
    Pages 203-229
  11. Kurt Jensen, Lars M. Kristensen
    Pages 231-255
  12. Kurt Jensen, Lars M. Kristensen
    Pages 257-271
  13. Kurt Jensen, Lars M. Kristensen
    Pages 273-301
  14. Kurt Jensen, Lars M. Kristensen
    Pages 303-312
  15. Kurt Jensen, Lars M. Kristensen
    Pages 313-361
  16. Kurt Jensen, Lars M. Kristensen
    Pages 363-374
  17. Back Matter
    Pages 1-9

About this book

Introduction

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.

Keywords

Concurrent Systems Distributed Systems Formal Methods Performance Analysis Petri Nets Simulation Systems Modeling design modeling programming validation verification

Authors and affiliations

  • Kurt Jensen
    • 1
  • Lars M. Kristensen
    • 2
  1. 1.Dept. Computer ScienceUniversity of AarhusAarhus NDenmark
  2. 2.Dept. Computer EngineeringBergen University CollegeBergenNorway

Bibliographic information

  • DOI https://doi.org/10.1007/b95112
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00283-0
  • Online ISBN 978-3-642-00284-7
  • About this book