基于Petri网的煤矿斜巷监控系统研究

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (20): 240-243.

基于Petri网的煤矿斜巷监控系统研究

张卫武1，刘卫东1，2

1.西北工业大学航海学院，西安 710072
2.水下信息与控制国家科技重点实验室，西安 710072

出版日期:2012-07-11 发布日期:2012-07-10

Research of inclined shaft monitoring and control system of coal mine based on Petri net

ZHANG Weiwu1, LIU Weidong1，2

1.College of Marine, Northwestern Polytechnical University, Xi’an 710072, China
2.National Key Lab of Science and Technology on Underwater Information and Control, Xi’an 710072, China

Online:2012-07-11 Published:2012-07-10

摘要/Abstract

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

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

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

张卫武1，刘卫东1，2. 基于Petri网的煤矿斜巷监控系统研究[J]. 计算机工程与应用, 2012, 48(20): 240-243.

ZHANG Weiwu1, LIU Weidong1，2. Research of inclined shaft monitoring and control system of coal mine based on Petri net[J]. Computer Engineering and Applications, 2012, 48(20): 240-243.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[7]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[8]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[9]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[10]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[11]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[12]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[13]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[14]	刘红，方贤文，刘祥伟. 流程树切挖掘业务流程隐变迁的方法[J]. 计算机工程与应用, 2017, 53(22): 222-226.
[15]	张正坤，朱昌锋. 基于TPr/T_系统的编组站配流研究[J]. 计算机工程与应用, 2017, 53(21): 219-224.