Control structures

Available in

ReConNet

RON

AGG

Negative application conditions

No

Yes

Yes

Nested application conditions

No

No

Yes

Net transformation units

No

No

No

Priorities of rules

No

No

Yes [1]

Labels, names

Yes

Yes

Yes

Changing transition labels

Yes

No

No

Inhibitor arcs

No

No

No

Priorities of transitions

No

No

No

Timed token

No

No

No