Petri Nets
Springer Berlin (Verlag)
978-3-642-69970-2 (ISBN)
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.
1. Introductory Examples and Basic Definitions.- 1.1 Examples from Different Areas.- 1.2 Examples from Logic Circuits and Operating Systems.- 1.3 Non-Sequential Programs.- 1.4 An Example for Systems Analysis.- 1.5 Some Basic Definitions.- 1.6 Summary and Overview.- Exercises for Chapter 1.- 1. Condition/Event-Systems.- 2. Nets Consisting of Conditions and Events.- 3. Processes of Condition/Event-Systems.- 4. Properties of Systems.- 2. Place/Transition-Nets.- 5. Nets Consisting of Places and Transitions.- 6. Net Invariants.- 7. Liveness Criteria for Special Classes of Nets.- 3. Nets with Individual Tokens.- 8. Predicate/Event-Nets.- 9. Relation Nets.- Appendix. Mathematical Notions and Notation.- I. Sets.- II. Relations.- III. Mappings, Functions.- IV. Partial Orders.- VII. Vectors and Matrices.- Further Reading.- 1. Some Landmarks in the Development of Net Theory.- 2. Conferences on Petri Nets.- 3. Text Books.- 4. Bibliographies.- 5. References to Chapter 2.- 6. References to Chapter 3.- 7. References to Chapter 4.- 8. References to Chapter 5.- 9. References to Chapter 6.- 10. References to Chapter 7.- 11. References to Chapter 8.- 12. References to Chapter 9.- 13. Modifications and Generalizations of Place/Transition-Nets.- 14. Applications.- 15. Implementation and Automatic Analysis of Nets.- 16. Related System Models.
Erscheint lt. Verlag | 17.11.2011 |
---|---|
Reihe/Serie | Monographs in Theoretical Computer Science. An EATCS Series |
Zusatzinfo | X, 164 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 170 x 244 mm |
Gewicht | 321 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Computer • Finite • Hardware Design • Software • Software engineering |
ISBN-10 | 3-642-69970-7 / 3642699707 |
ISBN-13 | 978-3-642-69970-2 / 9783642699702 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich