Abstract: In order to enhance the safety of the transportation of coal mine, a PLC-based Distributed Control System（DCS） for the inclined shaft of coal mine is introduced. And the Petri net is adopted to build the model of this system. In the process of modeling, layer modeling method is used to simplify the model’s structure and enhance the system’s reliability, different control modes are established to build a safety-efficiency system. A well-structured model is given by the resolutions, analysis and optimization of the model.

Key words: coal mine, inclined shaft, monitoring and control system, Petri net

摘要： 针对煤矿斜巷运输安全的实际，提出了一种基于PLC的集散控制系统，并利用Petri网对其进行建模。在建模过程中一方面采用了分层建模的技术，降低了模型的复杂性，并提高了系统的可靠性；另一方面，合理地采用了不同的控制方式，在充分保障系统安全性的前提下，尽可能地提高系统的实时性。此外，通过对Petri网模型的逐级分解、验证和优化，最终得到一个具备良构特性的Petri网模型。

关键词: 煤矿, 斜巷, 监控系统, Petri网