A Petri Net Description of Extended Ambient Calculus Model

曹玉辉 1; 2; 王卫红 2; 覃征 1

您当前的位置：

首页 >

文章列表页 >

A Petri Net Description of Extended Ambient Calculus Model

更新时间：2025-12-08

- A Petri Net Description of Extended Ambient Calculus Model
- Vol. 42, Issue 10, Pages: 1230-1234(2008)
- 作者机构：
  
  1. 西安交通大学电子与信息工程学院,西安,710049
  2. 河北经贸大学信息技术学院,石家庄,050061
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP391.41
- Online First：10 October 2008，
  
  Published：2008
- 稿件说明：
移动端阅览
曹玉辉 1, 2, 王卫红 2, et al. A Petri Net Description of Extended Ambient Calculus Model[J]. 2008, 42(10): 1230-1234.
DOI：

曹玉辉 1, 2, 王卫红 2, et al. A Petri Net Description of Extended Ambient Calculus Model[J]. 2008, 42(10): 1230-1234. DOI：

摘要

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性

提出了一种扩展式动态环境演算范型的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 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.

关键词

Keywords

references

曹玉辉,王卫红,覃征.面向移动协同的扩展式动态环境演算范型研究[J]. 西安交通大学学报,2008,42(4):427-430.

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):427-430.

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):1-77.

CARDELLI L, GORDON A. Mobile ambients [J]. Theoretical Computer Science,2000, 240(1):177-213.

MURATA T. Petri nets: properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4):541-580.

JENSEN K. Coloured Petri nets: a high level language for system and analysis [M]∥ Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1987:248-299.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Location-Dependent Continuous Skyline Query in Mobile Environment

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Study on the Thermodynamic Properties in the Anomalous Region of Supercritical Water

A Structure-Semantics-Residual Collaborative Image Compression Framework：Towards Privacy Protection and High-Fidelity Reconstruction

Research on the Electrohydrodynamic Effects of Ionic Liquid-Modified Fuels

Related Author

黄伯虎 1

张海宾 1

王小兵 1

刘旭东 3

Related Institution

西安电子科技大学计算理论与技术研究所

西安电子科技大学综合业务网理论及关键技术国家重点实验室

⁰