矿井机车运输监控系统调度联锁过程的Petri网建模

被引：23

作者：

陆阳

郭智奇

韩江洪

杨晴晴

机构：

[1] 合肥工业大学计算机与信息学院

来源：

煤炭学报 | 2007年 / 11期

关键词：

机车运输监控; 调度联锁; 有色Petri网; 约束组合弧;

D O I：

10.13225/j.cnki.jccs.2007.11.022

中图分类号：

TD672 [电子计算机的应用]; TD524 [轨道运输与设备];

学科分类号：

摘要：

分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.

引用

页码：1216 / 1223

页数：8

共 5 条

[1] 基于通信的列车控制系统的有色Petri网模型的研究 [J].