Event Graph
Timed formalisms: Event Graphs
Simulation model of a carwash system
The RUN vertex models the initialization of the simulation,
the ENTER vertex models a car entering the carwash line,
the START vertex models the start of service,
and the LEAVE vertex models the end of service.