Nutzerinterface für Zugangskontrollsystem.
Es gibt zwei parallel arbeitende Zustandsmaschinen. Diagramme wurden yEd erstellt: http://www.yworks.com/en/products/yfile/syed/.
Diese Automat behandelt Ereignisse an der Tuer. Das Freigabesignal VALID_TICKET
erhaehlt er von der Scanner State Machine.
Der Verbrauch / Verfall eines Tickets wird per TICKET_USED
Ereignis an die Scanner State Machine gemeldet.