摘要
为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net)模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net)tools仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。
Because it is difficuh to analyze the OPN (Object-oriented Petri Net) model of equipment repair support system which is enormous and complicated, the CPN (Colored Petri Net) tools simulation software in simulating and analyzing its OPN model was put forward. According to the thread of simulating and concrete operation method, it was successful to construct the CPN model of the example OPN model of equipment repair support system. By the process of running and the result of simulating that can conclude that there are no conflict and deadlock CPN model. Then, it concludes that the method of simulation analysis for the OPN model is rational and effective.
出处
《吉林大学学报(信息科学版)》
CAS
2009年第5期527-533,共7页
Journal of Jilin University(Information Science Edition)
基金
军队科研基金资助项目(KJZ04140)
关键词
装备维修保障系统
CPN
tools仿真软件
OPN模型
动态性能
equipment repair support system
colored petri net (CPN) tools simulation software
object-oriented petri net (OPN) model
dynamic performance