Fig. 15From: A CPN/B method transformation framework for railway safety rules formal validationPetri net after firing “move0–1” and ‘move1–2″ transitionsBack to article page