Synthesis of deadlock prevention policy using Petri nets reachability graph technique
Yi‐Sheng Huang, Ta‐Hsiang Chung, Pin‐June Su · Asian Journal of Control · 2010
Abstract This paper proposes a subclass of generalized stochastic Petri net (GSPN) model, called TS3PR, which is modified the systems of simple sequential processes with resources (S3PR) with timed information. Based on the subclass of GSPN, a new deadlock prevention policy is developed by using reachability graph technique. The foundation of the new control policy is to manipulate all the dead states of the system nets. This study is able to change dead states into vanishing ones by additional immediate transitions. A live TS3PR model can then be obtained. It is worthwhile to notice that this study is different from adding additional control place policies in previous literature. Experimental results, indicate that our new control policy is with maximally permissive markings than conventional place‐control ones. As a result, we can infer that our proposed control policy seems to be used in Petri nets deadlocked systems. To our knowledge, this is the first work that employs the additional transitions to obtain the deadlock prevention policy. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society