Petri网在井下机车调度系统中的应用研究

"本文介绍了井下机车调度系统的现状和发展趋势，并通过Petri网进行建模与仿真，重点探讨了离散事件系统建模方法在矿井机车调度联锁过程中的应用。" 在《Petri网在井下机车调度中的建模与仿真》这篇硕士学位论文中，作者郭智奇探讨了井下机车调度系统的现状，以及未来可能的发展方向。该系统对于矿井安全和生产效率具有重要意义。Petri网作为一种强大的建模工具，被引入到系统建模中，其源于20世纪60年代，具有直观、灵活和数学严谨的特点，特别适合处理并发和竞争关系，因此非常适合用于离散事件系统的建模。 论文详细阐述了Petri网的理论基础，包括基本概念、结构和性质，特别是其中的关键组成部分如标记、变迁和库所。在分析了机车调度联锁的基本规则后，作者采用了有色Petri网，这是一种扩展的Petri网形式，允许对网中的元素赋予特定的颜色或属性，以更精确地表示系统中的不同状态和行为。在建模过程中，库所和变迁被着色以反映实际系统中的各种条件和事件，如车到、过车信息，以及错误情况如机车运行路线错误和任务内闯红灯等。此外，通过对进路的闭锁和解锁情况进行细致划分，建立了兼顾安全和效率的控制策略。 论文的核心成果之一是构建了一个完整的调度联锁过程的Petri网模型，这为理解和分析调度过程的正确性和安全性提供了有力工具。最后，郭智奇提出了一套与实际井下调度系统KJl5a配套的仿真系统设计方案，为后续的Petri网仿真研究奠定了基础。 关键词涵盖机车运输监控、有色Petri网、仿真和调度联锁，表明了论文的研究重点。这篇论文通过Petri网技术，为井下机车调度系统的建模和分析提供了一种有效的方法，对于提高矿井运输的安全性和效率具有重要的理论和实践价值。