Basic Concepts, Analysis Methods and Practical Use
Edición de la obra Coloured Petri Nets, Vol. 1
| Autor | Kurt Jensen |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1992 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 236 |
| Formato | [electronic resource] : |
| ISBN-13 | 9783662062913, 9783662062890 |
| ISBN-10 | 3662062917, 3662062895 |
| OCLC | 851366100 |
| Serie | EATCS Monographs in Theoretical Computer Science |
| Número de Cutter | J54c |
|---|
This book presents a coherent 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 in 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 small examples and a brief overview ofsome industrial applications. It introduces the formal analysis methods. Finally, it contains a description of a set of CP-net tools which support the practical use 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 analyse them by means of simulation.