摘要
Petri网模型是离散事件动态系统 (DEDS)建模的有利工具 ,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中 ,结合应用面向对象技术和有色Petri网、赋时Petri网理论 ,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法 ,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造 ,使得新建模型结构更加简约、直观 ,有利于扩展和仿真实现 。
Petri-net theory is an useful tool for the modeling of disperse event dynamic system (DEDS),but the traditional Petri-net model has the demerit that its structure is complex and lack of time description. This paper describes in detail the combination of Object-oriented technology, Colored-petri nets and Timed-petri nets applied in the modeling of the maintenance system of equipments. A modeling method for the equipments' maintenance system is presented by combining the concepts of Timed-petri nets with Object-oriented technology. Based on this method, an established Petri-net model of Air-Force communication and navigation maintenance system is modified so that the new model becomes more simple and intuitionistic. The model can be simulated and extended easily and be described by time.
出处
《计算机仿真》
CSCD
2005年第2期38-40,47,共4页
Computer Simulation
关键词
面向对象
维修保障系统
动态仿真
Object-oriented
Maintenance system
Dynamic simulation