基于Petri网的通信协议设计方法

在复杂的通信协议中,由于设计者的不慎经常会出现死锁现象。本文采用了一种Petri网语言的同步合成的原理,提出了复杂通信协议设计流程的一种新的设计思想。并且利用Petri网语言给出了通信子协议系统合成时的死锁分析和通信协议系统设计的效率分析以及整个设计流程。