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

• 全文链接
• 请求原文

作   者：

安毅生;  李人厚; 

作者机构：

西安交通大学系统工程研究所; 

关键词：

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

期刊名称：

计算机集成制造系统

i s s n：

1006-5911

年卷期：

2006 年 09 期

页   码：

1352-1358

摘   要：

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