Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Google eBook)

Front Cover
Springer Science & Business Media, 1995 - Computers - 174 pages
0 Reviews
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.
The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Full Occurrence Graphs
1
11 Introduction to Ographs
2
12 Formal Definition of Ographs
4
13 Directed Paths and Strongly Connected Components
6
14 Proof Rules for Ographs
11
Distributed Data Base
17
Dining Philosophers
20
17 Computer Tools for Ographs
22
35 Computer Tools for OSgraphs
92
Bibliographical Remarks
97
Exercises
98
Invariants
101
41 Introduction to Place Invariants
102
42 Formal Definition of Place Invariants
107
43 Automatic Calculation of Place Invariants
113
44 Interactive Calculation of Place Invariants
119

Bibliographical Remarks
33
Exercises
34
Occurrence Graphs with Equivalence Classes
39
21 Introduction to OEgraphs
40
22 Formal Definition of OEgraphs
42
23 Proof Rules for OEgraphs
46
Distributed Data Base
52
ProducerConsumer System
54
26 Labelled OEgraphs
60
27 Computer Tools for OEgraphs
62
Bibliographical Remarks
64
Exercises
65
Occurrence Graphs with Symmetries
69
31 Symmetry Specifications
70
32 Proof Rules for OSgraphs
75
33 Permutation Symmetries
79
34 Labelled OSgraphs
86
45 Transition Invariants
131
46 Uniform CPnets
138
Bibliographical Remarks
142
Exercises
143
Timed CPnets
145
51 Introduction to Timed CPnets
146
52 Timed Multisets
150
53 Formal Definition of Timed CPnets
153
54 Relationships Between Timed and Untimed CPnets
156
Protocol
159
56 Analysis of Timed CPnets
162
Bibliographical Remarks
164
Exercises
166
References
169
Index
173
Copyright

Common terms and phrases

Popular passages

Page viii - Software has provided the financial support for the CPN tool project. So far more than 25 man years have been used. The project is also supported by the Danish National Science Research Council, the Human Engineering Division of the Armstrong Aerospace Medical Research Laboratory at WrightPatterson Air Force Base, and the Basic Research Group of the Technical Panel C3 of the US Department of Defense Joint Directors of Laboratories at the Navel Ocean Systems Center. Finally I thank the anonymous referees...
Page 169 - International Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.
Page 170 - G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science, vol. 254, Springer- Verlag 1987, 248-299. [Jen91] K. Jensen: Coloured Petri nets: A high level language for system design and analysis.
Page 169 - AV Aho, JE Hopcroft, JD Oilman. The design and analysis of computer algorithms, Addison-Wesley, Reading, Mass., 1974.

References to this book

All Book Search results »