Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. 1 (EATCS Monographs in Theoretical Computer Science) - Hardcover

Jensen, Kurt

Hardcover

ISBN 10: 3540555978 ISBN 13: 9783540555971

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Synopsis

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.

Edition details

• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Publication date: 1992
• Language: English
• ISBN 10: 3540555978
• ISBN 13: 9783540555971
• Binding: Hardcover
• Number of pages: 244