Coloured petri nets : basic concepts, analysis methods and practical use
Author(s)
Bibliographic Information
Coloured petri nets : basic concepts, analysis methods and practical use
（EATCS monographs on theoretical computer science）
Springer-Verlag, c1992-c1995
- v. 1 : gw
- v. 1 : us
- v. 2 : gw
- v. 2 : us
Available at / 38 libraries
-
Science and Technology Library, Kyushu University
V. 1.007.61/J 74/(1)068252192007778,
V. 2.068252194009635 -
Digital Library of Nara Institute of Science and Technology図
v. 1 : gwAB||22||280013444,
v. 2 : gwAB||22||330018610 -
General Library Yamaguchi University
v. 1 : gw007.1/j2570095069980,
v. 2 : gw007.1/j2570095069991 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
- Volume
-
v. 1 : gw ISBN 9783540555971
Description
This book presents a description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in the underlying mathematics, and a large part of the book is written a style which is closer to an engineering textbook or a user manual than a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model and the basic concepts. It gives a detailed presentation of many applications. It introduces the formal analysis methods. Finally, it contains a description of a set of CP-nets. Most of the material in this volume is application oriented. its purpose is to teach the reader how to construct CP-net models and analyze them by means of simulation.
- Volume
-
v. 2 : gw ISBN 9783540582762
Description
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.
Table of Contents
Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.
by "Nielsen BookData"
