论文研究一种基于CIPN的网络协议建模方法.pdf

基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作，结合CPN和IPN，提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析，突出了协议的离散事件系统特性。给出了CIPN的定义，并讨论了CIPN的运行机制，证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例，完成了从网络协议的一般CPN模型到CIPN模型的等价性转换，并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。