In dieser Aufgabe soll der Vorgang der Betankung eines PKW an einer Zapfsäule einer Tankstelle mit Hilfe eines Petri-Netzes abgebildet werden. Das Fahrzeug gelangt über eine Zufahrt zur Tanksäule. Nach erfolgter Betankung begibt sich der Kunde zur Bezahlung zum Kassierer. Nach jedem Kassiervorgang ist der Kassierer damit beschäftigt, die Tanksäule für die nächste Betankung freizugeben. Das Fahrzeug verbleibt so lange an der Tanksäule, bis die Betankung abgeschlossen ist und die Rechnung bezahlt wurde.

Zeichnen Sie das Petri-Netz des Tankprozesses als B/E-Netz, das nach der starken Schaltregel arbeitet. Kennzeichnen Sie die Anfangsmarkierung, in der der Platz an der Tanksäule frei ist und ein Fahrzeug sich in der Zufahrt zur Tankstelle befindet. Verwenden Sie dabei die folgenden Stellen und Transitionen: