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

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