Zusammenfassung
Es ist entscheidbar, ob eine gegebene Markierung von der Anfangsmarkierung eines markierten Netzes erreichbar ist. Dieses Ergebnis von E. W. Mayr aus dem Jahre 1980 (publiziert in [Mayr84]) löste eine lange offene Frage. Es hat wichtige Konsequenzen, wie zum Beispiel die Entscheidbarkeit der Lebendigkeit einer Markierung. In Anwendungen ist die unmittelbare Bedeutung des Erreichbarkeitsproblems aber beschränkt; häufig interessiert bei der Verifikation von Systemen vielmehr die Frage, ob jede erreichbare Markierung gewisse Eigenschaften erfüllt. Diese Frage wird im folgenden Kapitel dieses Buches behandelt, ihre Lösung baut aber auf der Erreichbarkeit von Markierungen und den Ergebnissen dieses Kapitels auf. Das Erreichbarkeitsproblem, bzw. genau genommen das Nichterreichbarkeitsproblem, ist als Spezialfall dieser Frage aufzufassen:
„Hat jede erreichbare Markierung die Eigenschaft, sich von einer bestimmten angegebenen Markierung zu unterscheiden?“
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturangaben
J. Desel, K.-P. Neuendorf and M.-D. Radola. Proving nonreachability by modulo-invariants. Theoretical Computer Science, 153: 49–64, 1996.
J. Esparza and M. Nielsen. Decidability issues for Petri nets. GI Petri Net Newsletter, 47: 5–23, 1994.
M. Jantzen. Complexity of place/transition nets. In W. Brauer, W. Reisig and G. Rozenberg (Eds.), Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I, Band 254 der Serie Lecture Notes in Computer Science, S. 413–435. Springer-Verlag, 1987.
J. M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In G. Rozenberg (Eds.), Advances in Petri Nets 1990, Band 483 der Serie Lecture Notes in Computer Science, S. 113–145. Springer-Verlag, 1991.
J. Desel and J. Esparza. Reachability in cyclic extended free choice systems. Theoretical Computer Science, 114: 93–118, 1993.
J. Desel and J. Esparza. Free Choice Petri Nets, Band 40 der Serie Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Desel, J. (1998). Erreichbarkeit von Markierungen. In: Petrinetze, lineare Algebra und lineare Programmierung. TEUBNER-TEXTE zur Informatik, vol 26. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-95382-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-95382-7_3
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2312-7
Online ISBN: 978-3-322-95382-7
eBook Packages: Springer Book Archive