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

摘要：

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

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

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

在线出版日期：2006-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1352-1358