Buch, Englisch, Band 4, 164 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 322 g
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
An Introduction
Buch, Englisch, Band 4, 164 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 322 g
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
ISBN: 978-3-642-69970-2
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.