From stability to the stabilization problem of discrete event systems modeled by Petri nets using Lyapunov methods

Presents some preliminary results in the stabilization problem of discrete event systems modeled by Petri nets using 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.