Zusammenfassung
Für Netze aus Bedingungen und Ereignissen wird zunächst präzisiert, was der Eintritt eines einzelnen oder mehrerer voneinander unabhängiger Ereignisse bedeutet und es wird dafür der Begriff des Schrittes eingeführt. Dieser Begriff wird benötigt, um dann Bedingungs/Ereignis-Systeme zu erklären. Für sie wird ein Äquivalenzbegriff eingeführt und gezeigt, wie jedes System in eine äquivalente kontaktfreie Normalform transformierbar ist. Zuletzt diskutieren wir den Fallgraphen eines B/E-Systems. Dieser Graph liefert einen Überblick über alle Fälle und Schritte des Systems.
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 zu Kapitel 2
A. Holt: Introduction to Occurrence Systems Associative Information Techniques, New York: American Elsevier (1971), S. 175–203.
C.A. Petri: Interpretations of Net Theory Interner Bericht 75–07, zweite Auflage 20.12.1976. Gesellschaft für Mathematik und Datenverarbeitung, Institut für Informationssystemforschung, Bonn (1976)
H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory in W. Brauer (Hrsg.): Net Theory and Applications Springer Lecture Notes in Computer Science, 84 (1980)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (1986). Netze aus Bedingungen und Ereignissen. In: Petrinetze. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71275-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-71275-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16622-1
Online ISBN: 978-3-642-71275-3
eBook Packages: Springer Book Archive