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