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

• 作者: 刘烦 朱连章
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 着色Petri网 发布/订阅系统 发布事件 P2P 协议分析
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 845-848
• 页数: 4页
• 分类号: TP39
• 字数: 4575字
• 语种: 中文

摘要

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