-
题名基于CPN的pub/sub系统中事件订阅的分析
被引量:1
- 1
-
-
作者
郑香君
-
机构
中国石油大学(华东)图书馆技术发展部
-
出处
《科学技术与工程》
2008年第18期5196-5201,共6页
-
文摘
提出了一种基于着色petri网(CPN)理论的pub/sub系统协议分析方法,并就一种p2p网络之上的pub/sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。
-
关键词
petri网
发布/订阅系统
订阅事件
-
Keywords
colored petri nets (cpn) publish/subscribe (pub/sub) system publishing event
-
分类号
TP393.03
[自动化与计算机技术—计算机应用技术]
-
-
题名基于CPN的发布/订阅系统的建模及分析
被引量:1
- 2
-
-
作者
朱连章
刘烦
-
机构
中国石油大学(华东)计算机与通信工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第4期845-848,共4页
-
文摘
提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法。基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性。
-
关键词
着色petri网
发布/订阅系统
发布事件
P2P
协议分析
-
Keywords
colored petrinets (cpn)
publish/subscribe (pub/sub) system
publishing event
P2P
protocol analysis
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
-