动态联盟中的同步协同设计系统模型

摘要：

利用Multi-Agent,π-演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型.该模型利用π-演算的操作语义表现系统的动态行为;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁,且具有一定公平性的发言权控制.

关键词：协同设计、动态联盟、发言权、π-演算、Petri网

所属期刊栏目：16

分类号：TP391(计算技术、计算机技术)

资助基金：广播电影电视总局高校科技基金BG0110

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：984-991