A Method to Compute Resource Circuits in a Class of Petri Nets

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Zhenyu Du and Bin Liu

Pages:

502-506

DOI:

10.4028/www.scientific.net/AMM.26-28.502

Citation:

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

Online since:

June 2010

Keywords:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.