基于CPN的发布/订阅系统的建模及分析

摘要：

提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法.基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性.

关键词：着色Petri网、发布/订阅系统、发布事件、P2P、协议分析

所属期刊栏目：30

分类号：TP39(计算技术、计算机技术)

在线出版日期：2009-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：845-848