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

• 作者: 曹玉辉 王卫红 覃征
• 来源期刊: 西安交通大学学报
• 关键词: 移动计算 环境演算 染色Petri网
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 专题研究
• 页码范围: 1230-1234
• 页数: 5页
• 分类号: TP391.41
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2008.10.008

摘要

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃征	西安交通大学电子与信息工程学院	158	2651	25.0	46.0
2	曹玉辉	西安交通大学电子与信息工程学院	11	45	4.0	6.0
6	王卫红	河北经贸大学信息技术学院	11	35	3.0	5.0