Wolfgang Reisig: Understanding Petri Nets

Cover: 9783662523070 | Understanding Petri Nets | Wolfgang Reisig | Taschenbuch | xxvii

Rückseite: 9783662523070 | Understanding Petri Nets | Wolfgang Reisig | Taschenbuch | xxvii

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

50,35 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

Presents essentials of this powerful well-established modeling technique
Includes exercises and fully integrated illustrations
Foreword written by the inventor of the technique

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

Zusammenfassung

Presents essentials of this powerful well-established modeling technique

Includes exercises and fully integrated illustrations

Foreword written by the inventor of the technique

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.

Details

Erscheinungsjahr:	2016
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	xxvii 230 S. 145 s/w Illustr. 230 p. 145 illus.
ISBN-13:	9783662523070
ISBN-10:	3662523078
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Reisig, Wolfgang
Auflage:	Softcover reprint of the original 1st edition 2013
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	244 x 170 x 15 mm
Von/Mit:	Wolfgang Reisig
Erscheinungsdatum:	01.10.2016
Gewicht:	0,455 kg