Control structure

Defined in terms of

Controlling

Negative application conditions

Transformations

Context

Nested application conditions

Transformations

Context

Net transformation units

Order of

Rules

Priorities of rules

Order of

Rules

Labels, names

Nets

Rule application

Changing transition labels

Nets

Coordination of transitions and transformations

Inhibitor arcs

Nets

Firing behavior

Priorities of transitions

Order of

Transition firing

Timed token

Nets

Firing behavior