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

陆阳, 郭智奇, 韩江洪, 等. 矿井机车运输监控系统调度联锁过程的Petri网建模[J]. 煤炭学报, 2007, (11).

引用本文:

陆阳, 郭智奇, 韩江洪, 等. 矿井机车运输监控系统调度联锁过程的Petri网建模[J]. 煤炭学报, 2007, (11).

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

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

参考文献(0)

资源附件(0)

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回