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

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (3): 124-127.

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

曹怀虎,张艳梅,牛娃

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-01-21 发布日期:2008-01-21
通讯作者: 曹怀虎

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

摘要/Abstract

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

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

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

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

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.

[1]	刘博闻，范春晓. 基于位置感知能力胶囊网络的实体关系提取[J]. 计算机工程与应用, 2021, 57(6): 101-107.
[2]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[3]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[4]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[5]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[6]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[7]	史佳雯，汪洋，张庚，王亚男. 面向电力通信网的分布式仿真系统[J]. 计算机工程与应用, 2019, 55(19): 246-252.
[8]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[9]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[10]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[11]	梁成军，江昊，吴静. 基于统一描述的网络仿真场景高效建模机制[J]. 计算机工程与应用, 2018, 54(7): 127-131.
[12]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[13]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[14]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[15]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.