Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book 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 book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many small exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets. |
Contents
1 | |
Bibliographical Remarks | 52 |
Bibliographical Remarks | 85 |
Bibliographical Remarks | 119 |
Bibliographical Remarks | 138 |
Formal Analysis of Coloured Petri Nets | 141 |
Computer Tools for Coloured Petri Nets | 155 |
Bibliographical Remarks | 202 |
Bibliographical Remarks | 219 |
Other editions - View all
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Kurt Jensen Limited preview - 1996 |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use ... Kurt Jensen No preview available - 1997 |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use ... Kurt Jensen No preview available - 2010 |
Common terms and phrases
Advances in Petri allows the user Analogously arc expressions behaviour binding elements bound Chap code segments colour set Coloured Petri Nets command complex Computer Science Vol consider constructed contains corresponding CPN diagram CPN editor CPN ML CPN model CPN simulator CPN tools declarations defined definition denote described dialogue box e-tokens empty equivalence relation evaluates example Exercise function fusion set graphical guard hierarchical CP-net high-level nets IDEF Inactive initial marking initialization expressions input inscriptions integer invariants Lecture Notes M₁ means Message multi-set nodes non-hierarchical CP-net Notes in Computer objects occurrence graph occurrence sequences page instances place instance group places and transitions port assignment possible prime page programming languages properties PT-net transitions q-processes reachable marking regions represent resource allocation system ring network Rozenberg SADT Sect sender specified Springer-Verlag Standard ML step subnet subpage substitution transitions supernode tion token colours transition instance variables