一种扩展式动态环境演算范型的Petri网描述  

A Petri Net Description of Extended Ambient Calculus Model

作　　者：曹玉辉[1,2] 王卫红[2] 覃征[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049 [2]河北经贸大学信息技术学院,石家庄050061

出　　处：《西安交通大学学报》2008年第10期1230-1234,共5页Journal of Xi'an Jiaotong University

基　　金：国家高技术发展计划资助项目(2003AA412020);陕西省科技发展计划“十五”攻关资助项目(2000K08-G12);河北省自然科学基金资助项目(F2008000460)

摘　　要：为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.In order to verify the correctness of semantic description and description capability about EMA by visual way, that are used for the mobility and collaboration in mobile collaboration computing, a novel model named Petri net description （PND） is proposed. PND is a Petri net description form. The Petri net expression for the basic calculus entity is given. Each act is expressed by transition, and all kinds of fore-and-aft environment variables of act are expressed by places. Then, all kinds of operation semantic relations of basic calculus entities are expressed by Petri net, and the weights of arcs are used to depict the interactional relations among acts and their fore-and-aft environments. The synthesized theory of Petri net is used in PND, and the model of dynamic complex environment is constructed by synthesizing simple Petri nets. The simulation results with color Petri net tool show that the PND has the right semantic, and provides a strong demonstration for EMA.

关 键 词：移动计算 环境演算 染色Petri网 

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