# # The file starts off with a list of event types # REQ_FOR_WORK REQ_FILLED WORKER_CLASH_FORWARD WORKER_CLASH_FORWARD_DONE WORKER_CLASH_BACKWARD WORKER_CLASH_BACKWARD_DONE # # And concludes with a list of state definitions # # # Forward clashes # state clash_forward start WORKER_CLASH_FORWARD end WORKER_CLASH_FORWARD_DONE color yellow # # Wait times # state worker_waiting start REQ_FOR_WORK end REQ_FILLED color red