Analyse von Petri-Netz-Modellen

Zusatztext

Dleses Buch habe lch fOr Informatlker, Ingenleure und Mathematlker geschrleben, dle slch mit der Modelllerung und Analyse von komplexen Systemen auf der Grundlage von Petrl-Netzen beschAftlgen oder slch dafOr lnteressieren. Dabel gehe ich auf dle elgentllche Modellblldung nur kurz eln, nlcht nur well dles eln weltes Feld lst, ln dem jeder seine elgenen Erfahrungen machen mu~. sondern well ror den Systementwurf mit Netzen und speziell fUr dle Anwendung von Petrl-Netzen ln der Steuerungstechnlk berelts Buchpubllkatlonen vorllegen. Hauptanllegen dleses Buches lst dle Analyse von Netzmodellen. Wer nlcht iiber dle Ausblldung sondern Ober dle praktlschen BedOrfnlsse selner t?glichen Arbelt mit Petrl-Netzen Freundschaft geschlossen hat, wlrd Netze melst zunAchst als Beschrelbungssprache, also zur Modellblldung angewendet und als nAchsten Schrltt Ablaufslmulatlonen durchgefOhrt haben. Mlt. tels Slmulatlon kann man, lnsbesondere bel durchdachter Anlage der Slmulatlonsexperimente, Fehler lm Entwurf bzw. lm modelllerten System aufspiiren und lhre Ursachen feststellen oder wenlgstens elngrenzen. Man kann aber durch Slmulatlon die Fehlerfrelhelt des Systems nlcht bewelsen, das lst nur durch Analyse mogllch. Um elne Analyse elnes Netzmodells anzulegen und durchzufilhren, slnd theoretlsche Kenntnlsse erforderllch, dle es ermogllchen, rechnergestOtzte Werkzeuge bel der Netzanalyse slnnvoll elnzusetzen und dle Resultate rlchtlg zu lnterpretleren. Dlese Kenntnlsse versuche lch in dlesem Buch zu vermltteln und hoffe, da~ melne Erfahrungen beim Aufbau solcher Programmpakete dabel posltlv "zu Buche" schlagen.

Autorenportrait

Inhaltsangabe1. 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.

Weitere Details