Zusammenfassung
In diesem Abschnitt untersuchen wir einige Varianten des Erreichbarkeitsund des Lebendigkeitsproblems und vergleichen sie bezüglich ihrer Komplexität. Dies ist deshalb von Interesse, weil Petri-Netze ein ganz natürliches mathematisches Objekt darstellen, zu dem viele Fragestellungen gerade die Grenze zwischen entscheidbar und unentscheidbar berühren. So haben wir bereits das Petri-Netz Erreichbarkeitsproblem als entscheidbar erkannt. Der hier vorgestellte Algorithmus ist aber nicht primitiv rekursiv, wie wir noch zeigen werden. Jeder Algorithmus, der das Erreichbarkeitsproblem löst, muss mindestens exponentiellen Speicherplatz benutzen. Eine kanonische Variante des Erreichbarkeitsproblems, nämlich die Frage, ob zwei Petri-Netze gleiche Erreichbarkeitsmengen besitzen, wird hingegen als unentscheidbar nachgewiesen werden. Außerdem stellen wir einige „endliche“ Probleme vor, die als endliche Probleme natürlich entscheidbar sind, aber nicht mit primitiv-rekursiven Mitteln. Insbesondere zeigen wir, dass der Aufwand, solche Probleme zu lösen, stärker wächst als jede primitiv-rekursive Funktion. Solche Probleme sind zwar auch in der Theorie der Berechenbarkeit bekannt, aber meist extrem künstlich. Hier findet man in der Petri-Netz-Theorie aber „natürliche“ Fragestellungen nicht primitiv-rekursiver Komplexität.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
M. Hack: Decision Problems for Petri Nets and Vector Addition Systems, Computation Structures Memo 95, Project MAC; MIT, 1974.
J.V. Matijasevic: Enumerable Sets are Diophantine, Soviet. Math. Dokl. 11: 2, pp. 354–357, 1970.
M. Davis, H. Putnam, J. Robinson: The Decision Problem for Exponential Diophantine Equations, Computational Complexity Symposium, Courant Institute, 1971.
M. Hack: Petri Net Languages, Computation Structures Group Memo 124, Project MAC, MIT, 1975.
E. Cardoza, R. Lipton, A.R. Meyer: Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report, Proc. of the 8th Annual ACM Symposium on Theory of Computing, pp. 50–54, 1976.
L. Adleman, K. Manders: Computational Complexity of Decision Procedures for Polynomials, Proc. of the 16th IEEE Annual Symposium on Foundations of Computer Science, pp. 169–177, 1975.
R.J. Lipton: The Reachability Problem Requires Exponential Space, Research Report 62, Yale University; 1976.
M. Flynn, T. Agerwala: Comments on capabilities, limitations and correctness’ of Petri Nets, Computer Architecture News 2: 4, 1973.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Priese, L., Wimmel, H. (2003). Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit. In: Theoretische Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10427-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-10427-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44289-9
Online ISBN: 978-3-662-10427-9
eBook Packages: Springer Book Archive