Fig. 6From: A CPN/B method transformation framework for railway safety rules formal validationInitial marking translationBack to article page