Zusammenfassung
Von einer Verklemmung spricht man dann, wenn sich nichts mehr bewegen kann. Die Verklemmung kann das gesamte System betreffen, z.B. wenn alle Prozesse auf Nachrichten warten, die von ihnen selbst erzeugt werden müssen, oder nur Teile des Systems, z.B. wenn zwei Prozesse sich gegenseitig blockieren, andere aber weiterarbeiten. In diesem Abschnitt werden wir das zur Reflektion solcher Phänomene nötige Begriffssystem und erste Ansätze zur Analyse der entsprechenden Eigenschaften entwickeln.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Hack, M. H. T., Decision Problems for Petri Nets and Vector Addition Systems. Project MAC TR-59, MIT, Cambridge (Mass.) 1975.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Starke, P.H. (1990). Lebendigkeit. In: Analyse von Petri-Netz-Modellen. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-09262-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-663-09262-9_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02244-2
Online ISBN: 978-3-663-09262-9
eBook Packages: Springer Book Archive