Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 6 featured editions. View all 6 editions?
Edition | Availability |
---|---|
1
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
April 28, 2003, Springer
Hardcover
in English
- 2nd ed. 1996. 2nd corr. printing edition
3540609431 9783540609438
|
zzzz
Libraries near you:
WorldCat
|
2
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
1997, Springer
in English
- 2nd ed.
3540609431 9783540609438
|
zzzz
Libraries near you:
WorldCat
|
3
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
1996, Springer Berlin Heidelberg
electronic resource :
in English
- Second Edition.
3642082432 9783642082436
|
aaaa
Libraries near you:
WorldCat
|
4
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
1996, Springer
in English
- 2nd ed.
3540609431 9783540609438
|
zzzz
Libraries near you:
WorldCat
|
5
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
1992, Springer-Verlag
in English
3540555978 9783540555971
|
zzzz
Libraries near you:
WorldCat
|
6
Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use
1992, Springer Berlin Heidelberg
electronic resource :
in English
3662062917 9783662062913
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Work Description
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.
Community Reviews (0)
Feedback?November 23, 2020 | Edited by MARC Bot | import existing book |
March 13, 2020 | Edited by Drini | Edited without comment. |
March 13, 2020 | Edited by Drini | merge authors |
March 13, 2020 | Edited by Drini | Edited without comment. |
December 10, 2009 | Created by WorkBot | add works page |