铁路通信信号工程技术2026，Vol.23Issue(4)：47-56,10.DOI:10.3969/j.issn.1673-4440.2026.04.008
基于Petri网的区间闭塞控制系统的设计与验证
Design and Verification of Section Block Control System Based on Petri Net
摘要
Abstract
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.关键词
区间闭塞控制/以太网通信/Petri网/仿真验证Key words
section block control/Ethernet communication/Petri net/simulation verification分类
交通工程引用本文复制引用
贾积禹,李文涛,李永军..基于Petri网的区间闭塞控制系统的设计与验证[J].铁路通信信号工程技术,2026,23(4):47-56,10.基金项目
北京全路通信信号研究设计院集团有限公司科研项目(2300-K1210033.01) （2300-K1210033.01）
