矿井机车运输监控系统调度联锁过程的Petri网建模
来源期刊：煤炭学报2007年第11期
论文作者：杨晴晴 韩江洪 郭智奇 陆阳
关键词：机车运输监控; 调度联锁; 有色Petri网; 约束组合弧;
摘 要：分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.
杨晴晴1，韩江洪1，郭智奇1，陆阳1
(1.合肥工业大学,计算机与信息学院,安徽,合肥,230009;
2.安全关键工业测控技术教育部工程研究中心,安徽,合肥,230009)
摘要:分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.
关键词:机车运输监控; 调度联锁; 有色Petri网; 约束组合弧;
【全文内容正在添加中】
