基于CPN的pub/sub系统中事件订阅的分析

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