Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. 1 (EATCS Monographs in Theoretical Computer Science) - Hardcover

Jensen, Kurt

 
9783540555971: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. 1 (EATCS Monographs in Theoretical Computer Science)
Hardcover
ISBN 10: 3540555978 ISBN 13: 9783540555971
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Inhaltsangabe

This book presents a 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 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 applications. It introduces the formal analysis methods. Finally, it contains a description of a set 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 analyze them by means of simulation.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book presents a 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 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 applications. It introduces the formal analysis methods. Finally, it contains a description of a set 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 analyze them by means of simulation.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
3540555978
ISBN 13 
9783540555971
Einband
Tapa dura
Anzahl der Seiten
244
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540582762: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)

Vorgestellte Ausgabe

ISBN 10:  3540582762 ISBN 13:  9783540582762
Verlag: Springer, 1994
Hardcover