基于有色Petri网的虚拟维修过程建模技术研究

针对虚拟维修过程建模问题,建立一种基于有色Petri网的虚拟维修过程建模方法。在分析模型需求的基础上,基于有色Petri网理论,表达维修资源模型,描述维修操作之间的多种逻辑关系,并给出一般的建模步骤。引入资源库所的概念,解决模型表达中由于资源种类繁多造成的表达不清晰、难以理解的问题;定义一种"选择"变迁模型,丰富维修过程逻辑关系的表达方式。通过实例验证该建模方法的可行性和正确性。