Summary and Info
This book presents a coherent description of the theoretical and practical aspectsof Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been developed- from being a promising theoretical model to being a full-fledged languagefor the design, specification, simulation, validation and implementation oflarge software systems (and other systems in which human beings and/or computerscommunicate by means of some more or less formal rules). The bookcontains the formal definition of CP-nets and the mathematical theory behindtheir analysis methods. However, it has been the intention to write the book insuch a way that it also becomes attractive to readers who are more interested inapplications than the underlying mathematics. This means that a large part of thebook is written in a style which is closer to an engineering textbook (or a users'manual) than it is to a typical textbook in theoretical computer science. The bookconsists of three separate volumes.The first volume defines the net model (i.e., hierarchical CP-nets) and thebasic concepts (e.g., the different behavioural properties such as deadlocks, fairnessand home markings). It gives a detailed presentation of many smaIl examplesand a brief overview of some industrial applications. It introduces the formalanalysis methods. FinaIly, it contains a description of a set of CPN toolswhich support the practical use of CP-nets. Most of the material in this volume isapplication oriented. The purpose of the volume is to teach the reader how toconstruct CPN models and how to analyse these by means of simulation.The second volume contains a detailed presentation of the theory behind theformal analysis methods - in particular occurrence graphs with equivalenceclasses and place/transition invariants. It also describes how these analysis methodsare supported by computer tools. Parts of this volume are rather theoreticalwhile other parts are application oriented. The purpose of the volume is to teachthe reader how to use the formal analysis methods. This will not necessarily requirea deep understanding of the underlying mathematical theory (although suchknowledge will of course be a help).The third volume contains a detailed description of a selection of industrialapplications. The purpose is to document the most important ideas and experiencesfrom the projects - in a way which is useful for readers who do not yethave personal experience with the construction and analysis of large CPN diagrams.Another purpose is to demonstrate the feasibility of using CP-nets and theCPN tools for such projects.