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 Oberblick über alle Fälle und Schritte des Systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (1982). Netze aus Bedingungen und Ereignissen. In: Petrinetze. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96705-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-96705-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11478-9
Online ISBN: 978-3-642-96705-4
eBook Packages: Springer Book Archive