Understanding Petri Nets

Modeling Techniques, Analysis Methods, Case Studies

AvWolfgang Reisig

Häftad, Engelska, 2016

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

751 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2016-10-01
Mått:170 x 244 x 18 mm
Vikt:480 g
Format:Häftad
Språk:Engelska
Antal sidor:230
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783662523070

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Mer om författaren

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 Springer titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.

Innehållsförteckning

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.