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   

  1. 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网模型

曹怀虎,张艳梅,牛 娃   

  1. 中央财经大学 信息学院,北京 100081
  • 通讯作者: 曹怀虎

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网, 网络仿真