Zusammenfassung
Zu den interessanten, aber auch schwierigsten Fragen zu elementaren Systcmnetzen gehör! die Erreichbarleit einer frei gewählten Markierung Meines Systemnetzes N: Wie kann man entscheiden, ob eine Markierung M in einem elementaren Systemnetz N (von der Anfangsmarkierung M0 aus) erreichbar ist? Wenn nur endlich viele Markierungen erreichbar sind, kann man sie alle konstruieren und prüfen, ob Mdabei ist. Wenn Merreichbar ist, kann man auch einen unendlichen Markierungsgraphen schrittweise aufbauen und wird dabei irgendwann auf M treffen.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2010 Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH
About this chapter
Cite this chapter
Reisig, W. (2010). Erreichbarkeit in elementaren Systemnetzen. In: Petrinetze. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-8348-9708-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9708-4_16
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-8348-1290-2
Online ISBN: 978-3-8348-9708-4
eBook Packages: Computer Science and Engineering (German Language)