Through reachability tree and event graph analysis, It is shown that the proposed Petri net model is live, bounded, safe and conservation, proving that the asynchronous parallel communication protocol is reliable.

• 通过可达树和事件图分析,得到了该Petri网模型是活的、有界的、安全的、守恒的,证明了IEEE4 88总线的异步并行通信协议的可靠性。