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

Modeling publish/subscribe systems based on colored Petri nets

作　　者：朱连章[1] 刘烦[1] 

机构地区：[1]中国石油大学(华东)计算机与通信工程学院,山东东营257061

出　　处：《计算机工程与设计》2009年第4期845-848,共4页Computer Engineering and Design

摘　　要：提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法。基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性。Much work is done on building content-based publish/subscribe systems over structured P2P networks, an analysis method based on colored Petri nets for publish/subscribe system protocol over P2P networks is proposed. The process of a publishing event is modeled into a CPN, in which the process of an event from being published to being received is described in detail. Then the protocol is analyzed by means of simulation using the CPN tools. At last, the result and the next work are given.

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

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