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