Coloured Petri Nets, Vol. 1
Subtitle: Basic Concepts, Analysis Methods and Practical Use
By: by Kurt Jensen
Edition: Second Edition.
Series: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer Berlin Heidelberg
Published: 1996
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 236
ISBN-13: 9783642082436; 9783662032411
Subjects: Software engineering; Computational complexity; Computer simulation; Computer science; Data structures (Computer science)
Description: This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents Overview: Informal Introduction to Coloured Petri Nets; title: Formal Definition of Coloured Petri Nets; title: Hierarchical Coloured Petri Nets; title: Dynamic and Static Properties of Coloured Petri Nets; title: Formal Analysis of Coloured Petri Nets; title: Computer Tools for Coloured Petri Nets; title: Industrial Applications of Coloured Petri Nets; title: References; title: Index.