A vector Lyapunov function approach for the stabilization of discrete event systems

This paper presents the stabilization problem of discrete event systems modeled by Petri nets using the vector Lyapunov theory. After recalling some known stability information about discrete event systems modeled by Petri nets, the stabilization problem is addressed. A new promising methodology based on vector Lyapunov functions shows that it is possible to restrict the systems state space in such a way that boundedness is guaranteed. Moreover, the technique described can be used for regulation.