本文介绍了井下机车调度系统的的发展现状、发展趋势。介绍了建模工具Petri网的来源以及特点，同时对Petri网的理论进行了系统的介绍。由于矿井机车运输监控系统是典型的离散事件系统，采用离散事件系统的建模方法对其进行建模有助于分析调度联锁过程的正确性和安全性。因而本文着重阐述离散事件建模工具——Petri网对调度规则的建模过程，在文章的最后给出了一套与实际井下调度系统KJ15a相配套的仿真系统设计方案。论文主要工作可归纳为：1)介绍了井下机车调度系统，总结了系统应用的意义，对井下机车调度系统在我国的发展现状进行了总结，展望了其发展趋势，引入了建模工具petri网，介绍了它的发展历史。2)介绍了Petri网的理论体系，Petri网理论体系中的重要部分作了介绍。3)分析了机车调度联锁的基本规则，采用有色Petri网对矿井机车调度联锁过程进行了建模。在建模的过程中，对库所和变迁进行了着色；使用约束组合弧并结合外部输入的车到和过车信息，对机车运行路线错误、任务内闯红灯等意外情况进行了描述；对进路的闭锁和解锁情况进行了细分，根据保证安全和兼顾效率的原则，建立了不同的控制方式；最后给出了调度联锁过程的整体Petri网模型。4)给出了一套与KJ15a相配套的仿真系统设计方案，为下一步利用Petri网进行仿真提供了支持。