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