Petri网在信号控制系统中的应用 Application of Petri net in the signal control system.pdfVIP

2006年第28卷 电气传动自动化 VoI。28。No．3 第3期第40页 ELECTRICDRI、砸AUToM渔TIoN 2∞6。28(3)：40一42 文章编号：1005—7277(2006)03—0040一_03 Petri网在信号控制系统中的应用 叶玲玲，李学宝 (兰州交通大学机电技术研究所。甘肃兰州730070) 摘要：详细介绍了基于Petri网的自动售货机以及列车运行信号控制系统的建模及其工作原理。结果表明， Petri网能够清楚而简单地描述事件间的因果关系、时序关系以及并发系统中某些与时间有关的重要性质， 如最终性和公平性。因此，Petri网可作为并发系统形式描述和分析的有力工具。 关键词：Petri网；变迁条件；点火；列车运行模型 中图分类号：TP393 文献标识码：A ofPetrinetinthe cOntrol AppUcation signal system YE xHe—bno Ijng—ling，LI (撬c^曲口础死c^加妇y尺ese们先肱痂蹴，三∞砒o“五∞幻昭‰觇倦谢，三瓣危D“730070，吼i耽8) andits of出e control andtrain areintmduced． Abstract：The nlodelingprinciplesignal system“automatoperation It thatPetrinet and toolofdiscrete—eventconcurrent as proves strongdescribinganalyzing dynamic systems，such and further arefound． eventuality studysubjects faimess．Finally，the words：I)etrinet；transitions model Key condition；6ring；trainoperation 1 引言 M。：卜{0，1，2，．．．}表示整个Petri网的初始标 识。 随着并行处理的兴起与发展，适合于描述和分 当Petri网用有向图表示时，库所p表示成一 析异步开发系统的Petri网越来越受人们的重视。 个圆，变迁t表示成一个短线；库所p与变迁t之 它适于对具有并发、异步、分布、并行、不确定性和 间的关系，由有向弧线表示，对任意库所p，在它里 随机性特点的信息处理系统进行建模和分析。目前 边画M(p)个圆点以表示当前标识M。 国外一些大规模、分布式的工作流系统的建模工具 一个Petri网的状态变迁取决于以下的两个条 就采用的是基于Petri网的图形化建模方式。本文 件： 以自动售货机模型和列车运行模型为基础，基于 (1)必须有1个或多个变迁满足变迁条件。变 Petri网对信