Mit Hilfe eines Petri-Netzes soll die Einfahrt eines PKWs in eine Parkgarage mit fernbedienbarem Tor modelliert werden.
Nach dem Betätigen der Fernbedienung befindet sich das Fahrzeug in Warteposition, bis über das grüne Lichtsignal die Einfahrt freigegeben ist. Gleich nach der Einfahrt wird das Lichtsignal wieder rot und das Garagentor schließt.

a) Zeichnen Sie das Petri-Netz der Garageneinfahrt als B/E-Netz, das nach der starken Schaltregel arbeitet. Kennzeichnen Sie die Anfangsmarkierung, in der das Garagentor geschlossen ist und sich das Auto in der Garagenzufahrt befindet. Verwenden Sie dabei die folgenden Stellen und Transitionen:

b) Ist das Petri-Netz reversibel? Begründen Sie Ihre Antwort.

a) B/E-Netz