摘要
利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态行为 ;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁 。
Requirements for dynamic architecture, flexible configuration and mobility of the synchronous computer supported collaborative design system are analyzed A formalized model of the system is presented by using Multi Agent, Pi calculus and Petri net approaches Based on Pi calculus operating semantics, dynamic behaviors of the system are guaranteed Based on Petri net theory, fair and no deadlock floor control of the system with multilevel and multi resource applications are realized
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第7期984-991,共8页
Journal of Computer-Aided Design & Computer Graphics
基金
广播电影电视总局高校科技项目 (BG0 110 )资助
关键词
协同设计
动态联盟
发言权
Π-演算
PETRI网
computer supported collaborative design
dynamic alliance
floor
Pi calculus
Petri net