基于着色Petri网和UML的复杂装备维修性指标验证方法研究
针对传统维修性指标验证方法无法对并发活动与动态行为进行处理的问题，提出了一种基于CPN 和 UML 的维修性指标验证方法。首先通过标定库所和令牌的颜色类型，对变迁和弧进行发生条件约束，建立复杂装备的CPN 模型。然后根据CPN 到UML 状态机的映射规则，将所得到的CPN 模型转换为UML 模型。最后编程实现。该方法能很有效处理系统中的并发活动和动态行为，很好的实现所建模型到程序结构的转换，由很好的交互性。以某复杂装备的平均修复时间为例，仿真计算并验证了该指标，验证过程表明该方法适用范围广、可操作性好。
维修性指标 装备维修 着色Petri网 状态机 映射规则 统一建模语言
崔洪亮
第二炮兵青州士官学校,山东潍坊262500
国内会议
郑州
中文
1-5
2009-04-26（万方平台首次上网日期，不代表论文的发表时间）