Petri网在信号控制系统中的应用  

Application of Petri net in the signal control system

作　　者：叶玲玲[1] 李学宝[1] 

机构地区：[1]兰州交通大学机电技术研究所,甘肃兰州730070

出　　处：《电气传动自动化》2006年第3期40-42,共3页Electric Drive Automation

摘　　要：详细介绍了基于Petri网的自动售货机以及列车运行信号控制系统的建模及其工作原理。结果表明,Petri网能够清楚而简单地描述事件间的因果关系、时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性。因此,Petri网可作为并发系统形式描述和分析的有力工具。The modeling and its principle of the signal control system of automat and train operation are introduced. It proves that Petri net strong describing and analyzing tool of discrete-event dynamic concurrent systems, such as eventuality and fairness. Finally, the further study subjects are found.

关 键 词：PETRI网 变迁条件 点火 列车运行模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]