2.6 Petrinetze
85
dass ein Zug nach rechts fahren möchte. Damit sind die beiden Bedingungen zum
Schalten des Ereignisses „Zug fährt nach rechts“ erfüllt. Wir nennen diese Bedingungen Vorbedingungen. Wenn die Vorbedingungen eines Ereignisses erfüllt sind,
kann das Ereignis eintreten.
Nach dem Eintreten des Ereignisses ist die Marke nicht mehr verfügbar und es
wartet kein Zug mehr auf den eingleisigen Abschnitt. Folglich sind die Vorbedingungen nicht mehr erfüllt und die ausgefüllten Kreise verschwinden (siehe Abb. 2.46).
Andererseits fährt jetzt ein Zug auf dem Abschnitt von links nach rechts. Somit ist
Gleis verfügbar
Zug fährt nach rechts heraus
Zug fährt von links ein
Zug will nach rechts
Zug fährt
nach rechts
nach links
Zug fährt
Abb. 2.46 Verwendung der Ressource „Gleisabschnitt“
die zugehörige Bedingung erfüllt. Eine Bedingung, die nach dem Eintreten eines
Ereignisses erfüllt ist, heißt Nachbedingung. Im Allgemeinen kann ein Ereignis
nur dann eintreten, wenn alle seine Vorbedingungen erfüllt sind. Wenn das Ereignis
eingetreten ist, sind die Vorbedingungen nicht mehr erfüllt, stattdessen werden die
Nachbedingungen erfüllt. Die Vor- und Nachbedingungen eines Ereignisses werden
durch Pfeile dargestellt.
Ein Zug, der den eingleisigen Streckenabschnitt verlässt, stellt die Marke in der
Mitte des Modells wieder her (siehe Abb. 2.47).
nach links
Gleis verfügbar
nach rechts
Zug fährt
Zug fährt
Zug will nach rechts
Zug fährt nach rechts heraus
Zug fährt von links ein
Abb. 2.47 Freigabe der Ressource „Gleisabschnitt“