Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Understanding Petri Nets

Modeling Techniques, Analysis Methods, Case Studies
BuchGebunden
230 Seiten
Englisch
Springererschienen am24.07.2013
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering.mehr
Verfügbare Formate
BuchGebunden
EUR74,89
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextWith their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering.
ZusammenfassungThis book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.
Details
ISBN/GTIN978-3-642-33277-7
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2013
Erscheinungsdatum24.07.2013
Seiten230 Seiten
SpracheEnglisch
Gewicht568 g
IllustrationenXXVII, 230 p. 145 illus.
Artikel-Nr.18318655

Inhalt/Kritik

Inhaltsverzeichnis
Part I Modeling Techniques.- Chap. 1 An Example.- Chap. 2 The Basic Concepts.- Chap. 3 Common Special Case: Elementary System Nets.- Chap. 4 Sequential and Distributed Runs.- Chap. 5 Scenarios.- Chap. 6 Further Notation for Elementary System Nets.- Chap. 7 The Synthesis Problem.- Chap. 8 Composition of Nets.- Part II Analysis Methods.- Chap. 9 State Properties.- Chap. 10 Traps and Co-traps of Elementary System Nets.- Chap. 11 Place Invariants of Elementary System Nets.- Chap. 12 Combining Traps and Place Invariants of Elementary System Nets.- Chap. 13 Traps and Place Invariants of Generic System Nets.- Chap. 14 Marking and Covering Graphs.- Chap. 15 Reachability in Elementary System Nets.- Chap. 16 Run Properties.- Chap. 17 Free-Choice Nets.- Chap. 18 Marked Graphs.- Chap. 19 Well-Formed System Nets.- Part III Case Studies.- Chap. 20 Mutual Exclusion.- Chap. 21 Asynchronous Hardware.mehr
Kritik
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." [Carl-Adam Petri]mehr

Autor

Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universität zu Berlin, Germany. He has over 30 years experience in the theory, applications, and teaching of Petri nets and related techniques; and he has been closely involved in the key community initiatives such as related conferences. Among his books are titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.