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

作     者：安毅生 李人厚 AN Yi-Sheng;LI Ren-Hou

作者机构：西安交通大学系统工程研究所 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2006年第12卷第9期

页      面：1352-1358页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：协同设计 全过程模型 决策变迁 对象Petri网 

摘      要：为解决协同设计中多任务实例并发执行,以及设计过程动态控制的可视化与形式化问题,提出了协同设计全过程的概念及其形式化方法———过程控制网。协同设计全过程由设计对象、设计阶段和过程转移机制组成。过程控制网是在面向对象Petri网的基础上,通过扩展其变迁的语义得到。设计对象建模为托肯,过程转移建模为过程网,各设计阶段建模为单元网,过程网和单元网通过特定的变迁进行交互。最后,给出了协同设计全过程的过程控制网模型的运行实例。多实例并行执行所产生的变迁序列表明,该模型不仅胜任动态设计过程的控制,而且允许多个任务按照不同的过程定义同时执行。