Fig. 10From: A CPN/B method transformation framework for railway safety rules formal validationStudy case Petri net modelBack to article page