The ECG formalism is designed to allow constraints on x-schema simulation to be expressed.
the Event schema in Figure 3 has roles that refer to event phases; these correspond to x-schema places and transitions.