Fig. 13From: A CPN/B method transformation framework for railway safety rules formal validationCPN tools state space for the initial markingBack to article page