State feedback based deadlock-free supervisor synthesis for bounded Petri nets

This paper addresses the forbidden state problem in which the forbidden marking set can be a set of arbitrary markings, together with deadlock-free specification. The system is modelled by bounded Petri nets, which may contain uncontrollable transitions. Through efficient reverse net analysis, we obtain not only the weakly forbidden markings but also the state feedback control policy. Then we propose a deadlock processing algorithm to deal with deadlocks caused by control. Finally a deadlock-free supervisor expressed as a table is obtained.