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

• 作者: 刘静 孟庆龙 孟跃进 王永滨
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 协同设计 动态联盟 发言权 π-演算 Petri网
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 系统集成与协同设计
• 页码范围: 984-991
• 页数: 8页
• 分类号: TP391
• 字数: 6334字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2004.07.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟跃进	河北工业大学电器研究所	18	69	4.0	7.0
2	孟庆龙	河北工业大学电器研究所	27	91	6.0	8.0
3	王永滨	北京广播学院计算机与软件学院	10	64	5.0	7.0
4	刘静	北京广播学院理学院	2	9	2.0	2.0