Fig. 19From: A CPN/B method transformation framework for railway safety rules formal validationHanding over RBC Petri NetBack to article page