Petri Net-Based Modeling and Verification of Automatic Train Speed Control System
Rong Hua, You Fu, Jian Zhi Yu, Cong Liu · Applied Mechanics and Materials · 2014
How to provide dependability based on safety is a challenge faced by train control system. Formal approaches are important for modeling and verification of automatic speed control Systems. In the paper, a formal model of automatic speed control Systems based on Petri nets (ASCS-nets) is presented. And the transformation approaches from automatic train speed control system to ASCS-nets are given. Correctness verification of automatic train speed control system is implemented based on ASCS-nets model.