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