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 |