基于过程控制网的协同设计建模与分析  

Modeling & analysis of collaborative design based on process control Petri nets

作　　者：安毅生[1] 李人厚[1] 

机构地区：[1]西安交通大学系统工程研究所

出　　处：《计算机集成制造系统》2006年第9期1352-1358,共7页Computer Integrated Manufacturing Systems

摘　　要：为解决协同设计中多任务实例并发执行,以及设计过程动态控制的可视化与形式化问题,提出了协同设计全过程的概念及其形式化方法———过程控制网。协同设计全过程由设计对象、设计阶段和过程转移机制组成。过程控制网是在面向对象Petri网的基础上,通过扩展其变迁的语义得到。设计对象建模为托肯,过程转移建模为过程网,各设计阶段建模为单元网,过程网和单元网通过特定的变迁进行交互。最后,给出了协同设计全过程的过程控制网模型的运行实例。多实例并行执行所产生的变迁序列表明,该模型不仅胜任动态设计过程的控制,而且允许多个任务按照不同的过程定义同时执行。To deal with concurrent execution of multi tasks in collaborative design and to solve the visualization and formalization of the dynamic control for the design process, the concept of entire collaborative design process and its formalized method of Process Control Petri Nets （PCPNs） were presented. The entire collaborative design process was composed of design objects, design phases and process transfer mechanism. The PCPNs was obtained based on Object Petri Nets（OPNs）through extending the semantic of its transition. Design objects were modeled as tokens, and the process transfer and each phase of the design process were modeled as process nets and unit net respectively, which communicated with each other by the specified transition. Finally, an application example of PCPNs model for the entire collaborative design process was provided. The transition sequences generated by concurrent execution of multi tasks were given to illustrate that this model was able to not only control the dynamic design process, but also allow multi tasks to be executed simultaneously according to the different process definitions.

关 键 词：协同设计 全过程模型 决策变迁 对象PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]