基于CPEBSDL通信协议的Petri网建模方法

Petri Nets Protocol Modeling Method Based on CPEBSDL Communication Protocol

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。

Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test. PMA CPEBSDL approach and methods of protocol validation and test are introduced with a factual example about LAPD protocol.