This Petri net class, defined on top of the well-known Place-Transition Petri nets, is the common link across a set of tools under development, including a graphical editor, a state-space analyser for the verification of properties, conflict resolution through automatic arbiter generation, ...