基于扩展Petri网的虚拟维修作业过程模型

摘要

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础.维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性.利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力.最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模.