Detecting Protocol Deadlocks Using Petri Net
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents a new method of deadlock detection of protocols with non-FIFO channels using Petri nets. The protocols are translated into Petri nets, and the properties of these Petri nets are used. A efficient algorithm is given for detecting deadlocks by solving matrix equations of Petri nets.
- 宇都宮大学の論文
- 1996-03-28