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