Zusammenfassung
Ein weitverbreiteter Einwand gegen die Verwendung von Petrinetzen für die Systemkonstruktion besteht in der schnell wachsenden Größe und Unüberschaubarkeit von Darstellungen nichttrivialer Systeme. Um diesem Mangel abzuhelfen, wurden in der Literatur verschiedene Erweiterungen der Netze vorgeschlagen. Sie bestehen in der Regel darin, daß Komponenten von Netzen mit Anschriften versehen oder neue Formen von Knoten oder Kanten eingeführt werden. Die Semantik solcher Konstruktionen wird in der Regel umgangssprachlich,mit Tabellen oder anderen Mitteln angegeben. Die Anwendung bekannter netztheoretischer Analyseverfahren (z.B. linear-algebraische Methoden wie das Berechnen von Invarianten, Netztransformationen o.ä.) ist bei Verallgemeinerungen des Netzbegriffes selbstverständlich nicht oder nicht ohne weiteres möglich.
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
C.A. Petri: Nichtsequentielle Prozesse. — Interner Bericht, GMD/ISF-76-6, 2. verbesserte Auflage (1976).
C.A. Petri: General Net Theory.— Proceedings of the Joint IBM Newcastle upon Tyne Seminar, B. Shaw (ed) (1976).
H. Genrich: Appendix: Petri Nets.— GMD/ISF 16.03.1977 (unpublished).
K. Lautenbach: Lebendigkeit in Petri Netzen.— Interner Bericht GMD-ISF, 02 / 75-4-1 (1975).
J.L. Peterson: Petri Nets.— Computing Surveyes, Vol. 9, No. 3, Sept. 1977.
J.D. Noe, G.J. Nutt: Macro E Nets for Representations of Parallel Systems.— IEEE Tr. on Comp., Vol C-22, No. 8 (1973).
P. Lockemann, H.C. Mayr: Rechnergestützte Informationssysteme.— Springer-Verlag Heidelberg (1978).
S. Wendt: Petri Netze und asynchrone Schaltwerke.— Elektron.Rechenanlagen, Vol. 16, 1974.
M. Yoeli: Behvioural Descriptions of Communication Switching Systems using Extended Petri Nets.— Digital Processes 3, (1977).
M. Yoeli: A Structured Approach to Parallel Programming and Control.— 1st European... siehe [13].
P.E. Lauer, R.H. Campbell: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes.— Acta Informatica, Vol. 5, 1975.
H.J. Genrich, K. Lautenbach: The Analysis of distributed Systems by Means of Predicate/Transition Nets.— Int. Symposium Semantics of Concurrent Computation, July 1979, Evian, France (to appear).
W. Reisig: On a Class of Co-operating Sequential Processors.— 1st European Conference on Parallel & Distributed Processing. J. Syre (ed.), Toulouse (France).
G. Berthelot: Preuve de non blocage de programmes parallèles par réduction de réseaux de petri.— 1st Europ.... (wie [13]).
R. Valk: On the Computational Power of Extended Petri Nets.— MFCS 1978, Zakopane, Lecture Notes in Computer Science, Springer-Verlag.
R. Valette, M. Diaz: A Methodology for Easily Provable Implementation of Synchronization Mechanisms.— 1st European... (wie [13]).
J.L. Peterson, Th.T. Breth: A Comparison of Models of Parallel Computation.— Inf. Processing 74, North-Holland Publ. Comp., 1974.
J.L. Baer: A Survey of some Theoretical Aspects of Multiprocessing.— ACM Computing Surveyes, Vol. 5, Nr. 1 (1973).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Reisig, W. (1979). Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion. In: Mayr, H.C., Meyer, B.E. (eds) Formale Modelle für Informationssysteme. Informatik-Fachberichte, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67485-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-67485-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09773-0
Online ISBN: 978-3-642-67485-3
eBook Packages: Springer Book Archive