Fig. 1From: A CPN/B method transformation framework for railway safety rules formal validationPetri net model for a simple railway movementBack to article page