一种扩展式动态环境演算范型的Petri网描述(PDF)
《西安交通大学学报》自然版[ISSN:0253-987X/CN:61-1069/T]
- 期数:
- 2008年第10期
- 页码:
- 1230-1234
- 栏目:
- 出版日期:
- 2008-10-10
文章信息/Info
- Title:
- A Petri Net Description of Extended Ambient Calculus Model
- 文章编号:
- 0253-987X（2008）10-1230-05
- Author(s):
- CAO Yuhui1; 2; WANG Weihong2; QIN Zheng1
- 1．School of Electronics and Information Engineering，Xi′an Jiaotong University， Xi′an 710049，China； 2． College of Information ＆ Technology， Hebei University of Economics ＆ Business， Shijiazhuang 050061， China
- Keywords:
- mobile computing; ambient calculus; color Petri net
- 分类号:
- TP39141
- DOI:
- 0253-987X（2008）10-1230-05
- 文献标识码:
- A
- 摘要:
- 为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性，提出了一种扩展式动态环境演算范型的Petri 网描述(PND)．首先，给出基本演算实体的Petri网表示，用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作，用库所来表达任意动作前后的各种环境状态及其变量．其次，给出演算实体的各操作语义关系的Petri网表示，并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系．最后，引入了Petri网的合成理论，用简单Petri网合成法来构造动态复杂环境的模型．采用染色Petri网工具进行仿真，结果表明PND具有正确的描述语义，从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证．
- Abstract:
- 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 foreandaft 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 foreandaft 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．
参考文献/References
［1］曹玉辉，王卫红，覃征．面向移动协同的扩展式动态环境演算范型研究［J］． 西安交通大学学报，2008，42(4)：427430．
CAO Yuhui， WANG Weihong， QIN Zheng． Research of extended mobile ambient calculus oriented mobile collaboration ［J］． Journal of Xi′an Jiaotong University， 2008，42(4)：427430．
［2］MILNER R， PARROW J， WALKER D． A calculus of mobile processes， parts I and parts II ［J］． Journal of Information and Computation， 1992， 100(9)：177．
［3］CARDELLI L， GORDON A． Mobile ambients ［J］． Theoretical Computer Science，2000， 240(1)：177213．
［4］MURATA T． Petri nets： properties， analysis and applications ［J］． Proceedings of the IEEE， 1989， 77 (4)：541580．
［5］JENSEN K． Coloured Petri nets： a high level language for system and analysis ［M］∥ Lecture Notes in Computer Science． Berlin， Germany： SpringerVerlag， 1987：248299．
备注/Memo
- 备注/Memo:
- -
常用功能
统计/Statistics
- 摘要浏览/Viewed482
- 全文下载/Downloads327
- 评论/Comments
