# 
# 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