论文部分内容阅读
为克服用数学方法分析装备维修保障系统的OPN（Objeet—oriented Petri Net）模型数量庞大和结构复杂的问题，提出了用CPN（Colored Petri Net）tools仿真软件分析装备维修保障系统的OPN模型，成功地构建了对装备维修保障系统OPN模型的CPN仿真模型，并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明，用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的，无任何冲突和死锁现象。