Coloured Petri nets : basic concepts, analysis methods, and practical use /
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 vol...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1996-]
|
| Edition: | 2nd ed. |
| Series: | Monographs in theoretical computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (volumes <1>) : illustrations. |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9783662032411 (electronic bk.) 3662032414 (electronic bk.) |