首页> 中文期刊> 《计算机工程与应用》 >移动环境下订阅分发协议的随机Petri网模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》 |2008年第3期|124-127|共4页
作者
曹怀虎; 张艳梅; 牛娃;
展开▼
作者单位

中央财经大学;

信息学院;

北京;

100081;

中央财经大学;

信息学院;

北京;

100081;

中央财经大学;

信息学院;

北京;

100081;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
移动计算; 位置感知; 订阅分发协议; Petri网; 网络仿真;

相似文献

中文文献
外文文献
专利

1. 网络传输层协议的随机Petri网模型及性能分析 [J] . 詹柔莹 . 电子科技大学学报 . 2001,第001期
2. 基于随机Petri网模型的网络协议性能测试 [J] . 徐明伟 ,林闯 ,吴建平 . 软件学报 . 1999,第003期
3. 随机高级Petri网用于计算机网络传输协议的模型与性能评价 [J] . 林闯 ,吴建平 . 通信学报 . 1994,第006期
4. 约束并发机制下Petri网模型的逻辑行为考察与随机性能评估 [J] . 蒋昌俊 ,疏松桂 ,郑应平 . 自动化学报 . 1996,第004期
5. 随机停留点移动模型下AODV路由协议性能仿真 [J] . 黄庭培 . 计算机仿真 . 2008,第005期
6. 基于随机Petri网模型的通信协议性能评估 [C] . 王加存 . 中国兵工学会计算机应用学术交流会 . 1990
7. 基于扩展Petri网模型的标记分发协议LDP一致性测试生成 [A] . 徐晓东 . 2002

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号