Return to Article Details Functional safety verification of train control procedure in train-centric CBTC by colored petri net Download Download PDF