Computer Science ›› 2015, Vol. 42 ›› Issue (Z6): 45-47.

Previous Articles     Next Articles

Modeling of Dispatching Interlocking Process of Underground Transportation System

LIU Dian-jun, YANG Hong-rui, QI Wen-hai and GAO Xian-wen   

  • Online:2018-11-14 Published:2018-11-14

Abstract: At present,the artificial settings of scheduling strategy are commonly based on historical experience and work manners,which lack of adaptability and flexibility to production transportation situation.Considering this,the article selected the colored Petri nets,which is adapted to the typical discrete event dynamic system.After fully researching the basic underground dispatching interlocking rules,the article defined color sets,places and transitions which are suitable for the system.The theoretical model in the complete working path was considered and divided into six conditions in sequence.Finally,it is concluded that the complete interlocking system dispatching model is obtained.

Key words: Transportation dispatching,Discrete event,Dispatching interlocking,Colored Petri net

[1] Liu J Y,Li X L.Application of colored Petri net in command and control system[C]∥2009 International Conference on Intelligent Human-Machine System and Cybernetics.2009:323-326
[2] Cordova F M,Canete L,Quezada L E,et al.Simulation model linked to a knowledge based system for evaluationg policies in the operation of an underground mine[J].International Journal of Computers,Communications & Control,2008:223-227
[3] 赵业清.基于时间Petri网的铁水物流运输系统建模[J].物流技术,2014,33:400-402
[4] 方欢.Petri网的优化协调控制理论及其应用研究[D].合肥:合肥工业大学,2013
[5] Zhao X H,Wang Q Q.Research of coal mine safety-production dispatching based on multilayer Petri net[C]∥Sixth International Conference on Fuzzy System and Knowledge Discovery.Tianjin:IEEE Computer Society Press,2009:332-337
[6] Sun P,Jiang C J.Analysis of Workflow Dynamic Changes Based on Petri Net[J].Information and Software Technology,2009,51:284-292
[7] Wang L L,Meng X J,Ni Y.Modeling and verification of colored Petri net in stop and wait protocol[C]∥2010 International Conference on Computer Design And Applications.IEEE Inc,2010,5:24-28
[8] Lv Y Q,Lee C K M.Application of hierarchical colored Petri net in distributed manufacturing network[C]∥Proceedings of 2010 IEEE IEEM.IEEE Inc,2010:575-579
[9] Wang C,Feng X J,Li X,et al.Colored Petri net model with automatic parallelization on real-time multicore architectures[J].Journal of Systems Architecture,2014,60:293-304
[10] Santana-Robles F,Medina-Marin J,Montano-Arango O,et al.Modeling and simulation of textile supply chain through colored Petri nets[J].Intelligent Information Management,2012,4(5A):261-268
[11] 马良荔,陈杰,汪丽华.模糊有色Petri网的形式化推理算法研究[J].计算机科学,2012,39:256-258

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!