Deadlock Avoidance in Petri Nets with Uncontrollable Transitions
J.O. Moody and P.J. Antsaklis
Proceedings of 1998 American Control Conference, Philadelphia, PA, June 24-26, 1998.
Abstract -- Recent results in the literature have provided efficient control synthesis techniques for the problem of deadlock avoidance in Petri nets. These results are shown to fit within an established framework for the enforcement of linear constraints on the marking behavior of a net. Framing the problem in a way allows uncontrollable and/or unobservable transitions to be included in the plant modes when deadlock avoidance is performed.
Also appeared as Technical Report isis-97-016, Department of Electrical Engineering, University of Notre Dame, Oct. 1997.
[postscript file] [pdf file]