Coloured Petri nets : basic concepts, analysis methods and practical use
著者
書誌事項
Coloured Petri nets : basic concepts, analysis methods and practical use
(Monographs in theoretical computer science : an EATCS series)
Springer, c1996
2nd ed
- v. 1 : gw
- v. 2 : gw
- v. 2 : us
大学図書館所蔵 件 / 全36件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Originally published 1992
Bibliography: v. 1, p. [221]-229; v. 2, p. [169]-172
Includes index
内容説明・目次
- 巻冊次
-
v. 2 : gw ISBN 9783540582762
内容説明
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.
目次
Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.
- 巻冊次
-
v. 1 : gw ISBN 9783540609438
内容説明
This 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.
目次
1 Informal Introduction to Coloured Petri Nets.- 2 Formal Definition of Coloured Petri Nets.- 3 Hierarchical Coloured Petri Nets.- 4 Dynamic and Static Properties of Coloured Petri Nets.- 5 Formal Analysis of Coloured Petri Nets.- 6 Computer Tools for Coloured Petri Nets.- 7 Industrial Applications of Coloured Petri Nets.- References.
「Nielsen BookData」 より