TY - BOOK

T1 - Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts

AU - Jensen, Kurt

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

KW - Informal Introduction to Coloured Petri Nets

KW - Formal Definition of Coloured Petri Nets

KW - Hierarchical Coloured Petri Nets

KW - Dynamic and Static Properties

KW - Formal Analysis

KW - Computer Tools

KW - Industrial Applications

M3 - Book

SN - 3540609431

SN - 3540555978

SN - 0387555978

SN - 9783540609438

T3 - Monographs in theoretical computer science: an EATCS series

BT - Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts

PB - Springer

ER -