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

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

作　　者：曹怀虎[1] 张艳梅[1] 牛娃[1] 

机构地区：[1]中央财经大学信息学院,北京100081

出　　处：《计算机工程与应用》2008年第3期124-127,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673162);北京自然科学基金(the Natural Science Foundation of Beijing of China under Grant No.4073041)

摘　　要：针对移动环境下订阅分发服务的需求,提出了基于位置的订阅分发协议(LBPSP)。应用高级Petri网对LBPSP协议的核心操作进行建模,并对协议的正确性与异常处理完备性进行了验证。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.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]