基于Petri网的区间闭塞控制系统的设计与验证OA

The section block control system is an important part of the signalling system,and can ensure the safety of section traffic and improve the transport efficiency.In order to further improve the safety of the section block control system,and with focus on its practical application,the implementation process of the section block control system is designed on the basis of the Ethernet communication between the interlocking systems,the Petri net model is established on the basis of the implementation process,and the validity and correctness of this model are verified by using the simulation software.The simulation results show that the established Petri net model is bounded,safe,and deadlock-free.This model meets the functional requirements of section block control,and provides theoretical support for the development and application of communication-based block control system and its safety analysis.