Fig. 7From: A CPN/B method transformation framework for railway safety rules formal validationEnabled transition Operation in the B machineBack to article page