A Method to Compute Resource Circuits in a Class of Petri Nets
Methods based on resource circuits have become a research hotspot in the field of deadlock control recent years. Based on resource subnet and the trees of resource places, this paper proposes an effective method to compute all the resource circuits in a class of Petri nets called S3PR. When the proposed method is used in deadlock prevention policies, the computational efficiency can be significantly improved. An example is used to illustrate the application of the proposed method.
Zhenyu Du and Bin Liu
S. G. Wang et al., "A Method to Compute Resource Circuits in a Class of Petri Nets", Applied Mechanics and Materials, Vols. 26-28, pp. 502-506, 2010