Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.
Inhaltsverzeichnis
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.
Details
Erscheinungsjahr: 1990
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Leitfäden und Monographien der Informatik
Inhalt: 253 S.
ISBN-13: 9783519022442
ISBN-10: 3519022443
Sprache: Deutsch
Einband: Kartoniert / Broschiert
Autor: Starke, Peter H.
Hersteller: Vieweg+Teubner Verlag
Leitfäden und Monographien der Informatik
Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße: 229 x 152 x 15 mm
Von/Mit: Peter H. Starke
Erscheinungsdatum: 01.01.1990
Gewicht: 0,376 kg
Artikel-ID: 102492969

Ähnliche Produkte