Fig. 12From: A CPN/B method transformation framework for railway safety rules formal validationExtract of the operation part of the obtained B machineBack to article page