基于Petri网的协同设计过程模型  

Process Model of Collaborative Design Based on Petri Nets

作　　者：何宇[1] 黄舒志[1] 刘淼[2] 黄雨[1,2] 

机构地区：[1]北京大学信息科学技术学院,北京100871 [2]北京大学软件工程国家工程研究中心,北京100871

出　　处：《系统仿真学报》2011年第B07期11-15,共5页Journal of System Simulation

基　　金：国家自然科学基金(60803014);教育部博士点基金(200800011017)

摘　　要：协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。Collaborative design is widely applied in aerospace,ships and other military industry,with characters of data-driven,multi-level,multi-state and so on.But until now,a unified collaborative design model does not exist which brings great difficulties for data interaction of various disciplines,industries and departments.In addition,the establishment of formalized model could provide a theoretical basis for analysis and verification of the model.Therefore,it is necessary to establish a formalized model of collaborative design.According to the characteristics of collaborative design,a formalized model was proposed based on Petri net,what＇s more,based on the theory of this model,a data-driven workflow engine was developed.

关 键 词：协同设计过程模型 PetriNets 工作流 形式化模型 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]