The Detection and Prevention of Deadlock in Petri Nets
Wensong Hu, Yuyuan Zhu, Jie Lei · Physics Procedia · 2011
This article introduces the basic knowledge of Petri net at first, then analyzes two methods about the detection of deadlock in Petri nets. One is based upon the net structure; the other is based upon reachability tree and the article describes the steps of the arithmetic about it. Besides, the article summarizes the method based upon basic siphon theory for the prevention of deadlock in Petri nets and gives out examples for application.