Jensen | Coloured Petri Nets | Buch | sack.de

Jensen Coloured Petri Nets



Basic Concepts, Analysis Methods and Practical Use. Volume 1

2. Auflage 1996. 2. corr. printing. Softcover version of original hardcover Auflage 1996, 236 Seiten, Kartoniert, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g Reihe: Monographs in Theoretical Computer Science. An EATCS Series
ISBN: 978-3-642-08243-6
Verlag: Springer


Jensen Coloured Petri Nets

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de­ veloped - from being a promising theoretical model to being a full-fledged lan­ guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com­ puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e., hierarchical CP-nets) and the basic concepts (e. g., the different behavioural properties such as deadlocks, fair­ ness and home markings). It gives a detailed presentation of many small exam­ ples and a brief overview of some industrial applications. It introduces the for­ mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.


Jensen, Kurt
The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications.The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.


Ihre Fragen, Wünsche oder Anmerkungen

Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.