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 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 industria…
Read More ↓Title Statements
- Full title :Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen.
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.
Read More ↓Edition Statements
- Publication Date:©1996-
- Edition:2nd ed
Publication Statements
- Publisher(s):Springer
- Place of Publication:Berlin
- Language:eng
- Publication Date:©1996-
The Physical Object
- Description:1 online resource (volumes <1>) : : illustrations
Edition Identifiers
- ISBN:9783662032411, 3662032414
- DOI:10.1007/978-3-662-03241-1
- oclc:ocn696254752
- LC Classification:QA267
- Dewey Decimal:005.1/01/5115
Table of Contents
Contiene: Vol. 1.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Rate & Review