论文部分内容阅读
针对传统维修性指标验证方法无法对并发活动与动态行为进行处理的问题,提出了一种基于CPN 和 UML 的维修性指标验证方法。首先通过标定库所和令牌的颜色类型,对变迁和弧进行发生条件约束,建立复杂装备的CPN 模型。然后根据CPN 到UML 状态机的映射规则,将所得到的CPN 模型转换为UML 模型。最后编程实现。该方法能很有效处理系统中的并发活动和动态行为,很好的实现所建模型到程序结构的转换,由很好的交互性。以某复杂装备的平均修复时间为例,仿真计算并验证了该指标,验证过程表明该方法适用范围广、可操作性好。