Ticket Sale Automaton (Source)

This is task that I give to my students during course of Modeling Systems
There is simple task: make a model and simulate it
The automaton can be given by

transition function:

output function:



Then we can build the model in Matlab:Simulink

and in Stateflow
the first variant

and
the second one