论文部分内容阅读
提出了一种基于着色petri网（CPN）理论的pub／sub系统协议分析方法，并就一种p2p网络之上的pub／sub系统协议，用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真，通过对模型的可达图进行分析，证明了协议具有活性、可达性和有界性等，验证了协议的可用性。