Coloured Petri nets: Basic concepts, analysis methods, and practical use (v. 1: EATCS monographs on theoretical computer science) - Hardcover

Jensen, K

Hardcover

ISBN 10: 3540555978 ISBN 13: 9783540555971

Publisher: Springer-Verlag, 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.

About this edition

• Publisher: Springer-Verlag
• Publication date: 1992
• ISBN 10: 3540555978
• ISBN 13: 9783540555971
• Binding: Hardcover
• Number of pages: 244