Zusammenfassung
Der Begriff der Färbbarkeit führt zur Klassenbildung innerhalb der Petri-Netze; die Klassen zeichnen sich dadurch aus, daß die zu ihnen gehörenden Netze in spezieller Weise durch Zustandsmaschinen und/oder Synchronisationsgraphen überdeckbar sind. Sie machen deutlich die Einschränkung der Zustandsmengen im dynamischen Ablauf und zeigen alternative Ereignisfolgen auf.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
H. J. Genrich, K. Lautenbach Synchronisationsgraphen Acta Informatica 2, 1973, 143–161
M. H. T. Hack Analysis of production schemata by petri nets MAC-TR-94; MIT, 1972
K. Lautenbach Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri Netzen Berichte der GMD, BMFT-GMD-82, 1973
K. Lautenbach Wegsysteme in Petri-Netzen GI/GMD-Fachtagung über Ansätze zur Organisationstheorie rechnergestützter Informationssysteme, 1974
K. Lautenbach Lebendigkeit in Petri-Netzen Interner Bericht 02/75-4-1, 1975
C. A. Petri Concepts of net theory Proceedings of symposium and summer school High Tatras, 1973
E. Raubold Interpretierbare Netze GMD, IFV-intern, 1975
Project MAC conference on concurrent systems and parallel computation ACM, 1970
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prinoth, R. (1977). Eigenschaften färbbarer Petri-Netze. In: Theoretical Computer Science. Lecture Notes in Computer Science, vol 48. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08138-0_26
Download citation
DOI: https://doi.org/10.1007/3-540-08138-0_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08138-8
Online ISBN: 978-3-540-37389-6
eBook Packages: Springer Book Archive