event_name

event_name ::= identifier 

This rule is called by

-> process_name
-> transition_name