摘要
矿井馈电系统是一种典型的离散事件动态系统。为了有效地对矿井馈电系统仿真,利用分层建模的思想来对矿井馈电系统的建模。对上层系统进行建模时引入复杂变迁,并在此基础上分解复杂变迁,最后利用所得的分层CPN(Hierarchical Colored Petri Net,HCPN)模型作为仿真软件的媒介,验证系统设计的合理性和安全性。通过利用CPN对矿井馈电系统建模,为最终开发出该系统的软件仿真平台奠定了良好的基础。
The Mine Feed System is typical discrete event dynamic system. Hierarchy Modeling was discussed to model the system and simulate validly. The complicated transition was designed to model the upper system and decomposed. The simulation is verified system＇s safety and rationality based on HCPN. The model of mine feed system based on CPN is a good foundation for developing the software simulation platform.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期129-131,共3页
Journal of System Simulation
基金
教育部博士点基金(20050359004)
教育部新世纪优秀人才支持计划(NCET-04-050562)。
关键词
分层建模
复杂变迁
HCPN
矿井馈电系统
hierarchical modeling
complicated transition
HCPN
mine feed system
