Vor Ort
Merkzettel Warenkorb
  • Produktbild: Petri Nets
  • Produktbild: Petri Nets
Band 4

Petri Nets An Introduction

Aus der Reihe Monographs in Theoretical Computer Science. An EATCS Series

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.11.2011

Verlag

Springer Berlin

Seitenzahl

164

Maße (L/B/H)

24,4/17/1,1 cm

Gewicht

322 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69970-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.11.2011

Verlag

Springer Berlin

Seitenzahl

164

Maße (L/B/H)

24,4/17/1,1 cm

Gewicht

322 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69970-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Petri Nets
  • Produktbild: Petri Nets
  • 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.- 2.1 Cases and Steps.- 2.2 Condition/Event-Systems.- 2.3 Cyclic and Live Systems.- 2.4 Equivalence.- 2.5 Contact-Free C/E-Systems.- 2.6 Case Graphs.- Exercises for Chapter 2.- 3. Processes of Condition/Event-Systems.- 3.1 Partially Ordered Sets.- 3.2 Occurrence Nets.- 3.3 Processes.- 3.4 The Composition of Processes.- 3.5 Processes and Case Graphs.- Exercises for Chapter 3.- 4. Properties of Systems.- 4.1 Synchronic Distances.- 4.2 Some Quantitative Properties of Synchronic Distances.- 4.3 Synchronic Distances in Sequential Systems.- 4.4 Synchronic Distances in Cyclic Systems.- 4.5 Facts.- Exercises for Chapter 4.- 2. Place/Transition-Nets.- 5. Nets Consisting of Places and Transitions.- 5.1 Place/Transition-Nets.- 5.2 Linear Algebraic Representation.- 5.3 Coverability Graphs.- 5.4 Decision Procedures for Some Net Properties.- 5.5 Liveness.- Exercises for Chapter 5.- 6. Net Invariants.- 6.1 S-Invariants.- 6.2 Nets Covered by S-Invariants.- 6.3 The Verification of System Properties Using S-Invariants.- 6.4 Properties of a Sender-Receiver Model.- 6.5 A Seat-Reservation System.- 6.6 The Verification of Facts in C/E-Systems by Means of S-Invariants.- 6.7 T-Invariants.- Exercises for Chapter 6.- 7. Liveness Criteria for Special Classes of Nets.- 7.1 Marked Nets, Deadlocks and Traps.- 7.2 Free Choice Nets.- 7.3 Marked Graphs.- Exercises for Chapter 7.- 3. Nets with Individual Tokens.- 8. Predicate/Event-Nets.- 8.1 An Introductory Example.- 8.2 Predicate/Event-Nets.- 8.3 An Organization Scheme for Distributed Databases.- 8.4 Facts in P/E-Nets.- 8.5 A Normal Form for P/E-Nets.- Exercises for Chapter 8.- 9. Relation Nets.- 9.1 Introductory Examples.- 9.2 Relation Nets.- 9.3 The Translation of P/E-Nets into Relation Nets.- 9.4 Calculation with Multirelations.- 9.5 A Matrix Representation for Relation Nets.- 9.6 S-Invariants for Relation Nets.- 9.7 An Example for Applying S-Invariants: The Verification of Facts.- 9.8 Relation Net Schemes.- 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.