عنوان

Coloured Petri Nets :

3662062895

9783662062890

b579563

Coloured Petri Nets :

[Book]

Basic Concepts, Analysis Methods and Practical Use Volume 1

by Kurt Jensen.

Berlin, Heidelberg

Springer Berlin Heidelberg

1992

(x, 236 pages)

EATCS Monographs in Theoretical Computer Science.

1 Informal Introduction to Coloured Petri Nets --; 2 Formal Definition of Coloured Petri Nets --; 3 Hierarchical Coloured Petri Nets --; 4 Dynamic and Static Properties of Coloured Petri Nets --; 5 Formal Analysis of Coloured Petri Nets --; 6 Computer Tools for Coloured Petri Nets --; 7 Industrial Applications of Coloured Petri Nets --; References.

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.

Computer science.

Computer simulation.

Software engineering.

by Kurt Jensen.

Kurt Jensen

[Book]

Y