Petri-Net model for publish/subscribe protocol in mobile environment

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (3): 124-127.

• 网络、通信与安全 • Previous Articles Next Articles

Petri-Net model for publish/subscribe protocol in mobile environment

CAO Huai-hu,ZHANG Yan-mei,NIU Wa

School of Information，Central University of Finance and Economics，Beijing 100081，China

Received:1900-01-01 Revised:1900-01-01 Online:2008-01-21 Published:2008-01-21
Contact: CAO Huai-hu

移动环境下订阅分发协议的随机Petri网模型

曹怀虎,张艳梅,牛娃

中央财经大学信息学院，北京 100081

通讯作者: 曹怀虎

Abstract

Abstract: According to requirement of publish/subscribe service in mobile environment，a Location Based Publish/Subscribe Protocol（LBPSP） is presented，a Petri-Net model to the crucial operations of LBPSP is built，and its correctness and safety in exception handling are validated with Petri-Net.

Key words: mobile computing, location-ware, publish/subscribe protocol, Petri-Net, network simulation

摘要： 针对移动环境下订阅分发服务的需求，提出了基于位置的订阅分发协议（LBPSP）。应用高级Petri网对LBPSP协议的核心操作进行建模，并对协议的正确性与异常处理完备性进行了验证。

关键词: 移动计算, 位置感知, 订阅分发协议, Petri网, 网络仿真

CAO Huai-hu,ZHANG Yan-mei,NIU Wa. Petri-Net model for publish/subscribe protocol in mobile environment[J]. Computer Engineering and Applications, 2008, 44(3): 124-127.

曹怀虎,张艳梅,牛娃. 移动环境下订阅分发协议的随机Petri网模型[J]. 计算机工程与应用, 2008, 44(3): 124-127.

[1]	SHI Jiawen, WANG Yang, ZHANG Geng, WANG Yanan. Distributed Simulation System for Power Communication Network [J]. Computer Engineering and Applications, 2019, 55(19): 246-252.
[2]	LIANG Chengjun, JIANG Hao, WU Jing. Efficient mechanism for network simulation scenario modeling based on unified description [J]. Computer Engineering and Applications, 2018, 54(7): 127-131.
[3]	ZHAO Hongda, QI Yong, LI Qianmu. Ubiquitous network security risk assessment modeling based on COOPN [J]. Computer Engineering and Applications, 2018, 54(4): 122-127.
[4]	AN Zhemin, YANG Wang, HOU Yinghui. BYOD oriented mobile streaming application distributing system [J]. Computer Engineering and Applications, 2018, 54(14): 241-248.
[5]	LIU Kaiyu1, LIU Yuan1, WANG Xiaofeng2. Method of network traffic simulation for topology focusing [J]. Computer Engineering and Applications, 2016, 52(23): 123-129.
[6]	WU Chenwen, RU Junnian, LIU Xiangli, LI Zhichang. Algorithm of multicast network topology inference based on packet loss rate [J]. Computer Engineering and Applications, 2014, 50(13): 118-120.
[7]	GAO Yuan, JIANG Ming, GE Yuan. Simulation of DC motor networked control system based on NS2 [J]. Computer Engineering and Applications, 2013, 49(21): 83-86.
[8]	FANG Gang. Dynamic constraint mining of frequent neighboring class sets [J]. Computer Engineering and Applications, 2012, 48(33): 142-146.
[9]	WANG Xiaofeng1, GUAN Lu1, LIU Yuan2. High performance network simulation method based on topology abstraction [J]. Computer Engineering and Applications, 2012, 48(29): 82-88.
[10]	WANG Lintao，ZHANG Xinyou. Design and simulation of self-adapting gateway for AODV [J]. Computer Engineering and Applications, 2011, 47(8): 96-99.
[11]	LIU Dawei1，JIN Wei2，WANG Xiaojie3. Energy-retrenchment protocol for mobile Ad hoc network [J]. Computer Engineering and Applications, 2011, 47(26): 93-94.
[12]	LIU Yi1，XUE Hongchao2，XIA Yunni2，YANG Jun1. Stochastic-petri-net-based approach to modeling and performance evaluation of choreography-based service composition [J]. Computer Engineering and Applications, 2011, 47(22): 227-232.
[13]	LIU Yi1，XUE Hongchao2，XIA Yunni2. Model-driven approach for dependability prediction of WS-CDL based service composition [J]. Computer Engineering and Applications, 2011, 47(11): 60-66.
[14]	WANG Xiao-feng¹，ZHANG Tian¹，MAO Li¹，ZHANG Zhao-xin². Routing simulation strategy of global computing and storage for core node [J]. Computer Engineering and Applications, 2010, 46(33): 98-100.
[15]	ZHANG Yan-ping¹，LI Dong-liang¹，ZHAO Shu¹，ZHENG Yao-jun². New modeling method on network topology [J]. Computer Engineering and Applications, 2010, 46(22): 113-116.

Petri-Net model for publish/subscribe protocol in mobile environment

移动环境下订阅分发协议的随机Petri网模型

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics