文献类型：期刊文章

作　　者：王永滨[1] 刘静[2] 孟跃进[3] 孟庆龙[3]

机构地区：[1]北京广播学院计算机与软件学院,北京100024 [2]北京广播学院理学院,北京100024 [3]河北工业大学电器研究所,天津300130

出　　处：《计算机辅助设计与图形学学报》

基　　金：广播电影电视总局高校科技项目 (BG0 110 )资助

年　　份：2004

卷　　号：16

期　　号：7

起止页码：984-991

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态行为 ;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁 。

关 键 词：协同设计 动态联盟 发言权 Π-演算 PETRI网

分 类 号：TP391]