Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems
Document Type
Conference Proceeding
Publication Date
12-1-2008
Abstract
This paper considers the deadlock prevention problem for a class of conjunctive/disjunctive resource allocation systems (C/D-RAS) in which multiple resource acquisitions and flexible routings are allowed. The proposed policy is developed in a generalized Petri net framework by an iterative algorithm. Each iteration uses a mixed integer programming (MIP) formulation to find both a bad marking and insufficiently marked siphon. Two new strategies are then presented. One aims to maximize the permissiveness of a liveness-enforcing supervisor while another to minimize the computational and supervisor's complexity. Experimental results validate the effectiveness of these two strategies. © 2008 IEEE.
Identifier
69949128624 (Scopus)
Publication Title
Conference Proceedings IEEE International Conference on Systems Man and Cybernetics
External Full Text Location
https://doi.org/10.1109/ICSMC.2008.4811575
ISSN
1062922X
First Page
1948
Last Page
1953
Recommended Citation
Hu, Hesuan; Li, Zhiwu; and Zhou, Mengchu, "Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems" (2008). Faculty Publications. 12498.
https://digitalcommons.njit.edu/fac_pubs/12498
