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

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

Study on Virtual Maintenance Process Modeling Based on Colored Petri Net

To the question of virtual maintenance process modeling , a method of virtual maintenance process modeling was built based on colored Petri net .By analyzing the demands of the model , the colored Petri net was used to express the resource model and describe some kinds of logical relation between maintenance operations .The common steps of modeling were set forth . The concept of resource place was led into this method , which solves the problem that it can＆#39;t expressed clearly and is difficult to understand in the model , caused by too many species of resource .A“selecting” transition model was defined to enrich the ex-pression of the logical relation in the maintenance process .At last, the probability and correctness of this method was verified by an example .