3.3.4 Petri网在协议描述中的应用