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.
英
美
- 通過(guò)可達樹(shù)和事件圖分析,得到了該Petri網(wǎng)模型是活的、有界的、安全的、守恒的,證明了IEEE4 88總線(xiàn)的異步并行通信協(xié)議的可靠性。
