Zusammenfassung
Spätestens im Lagerbeispiel (Abb. 13) erweist sich die Schaltübung als problematisch. Die Markierung bei Zustand “Lager entnahmefähig” ist Vorbedingung gleich für mehrere Ereignisse. Da jedes Ereignis beim Schaltvorgang eine Marke löscht, der Zustandsknoten aber (vereinbarungsgemäß) nur eine einzige Marke aufweist, kann auch nur eines der Ereignisse stattfinden (schalten).
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.
Rights and permissions
Copyright information
© 1982 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Rosenstengel, B., Winand, U. (1982). Strukturen und Markierungssituationen in Petri-Netzen. In: Petri-Netze. Programm Angewandte Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-86066-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-322-86066-8_4
Published:
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-03582-2
Online ISBN: 978-3-322-86066-8
eBook Packages: Springer Book Archive