In: Proc. 1999 American Control Conference, 2-4 June 1999, San Diego, CA, Vol. 3, pages 1990-1991. 1999.
Abstract: The paper presents some preliminary results in the stabilization problem of discrete-event systems modeled by Petri nets, using Lyapunov theory. After recalling known stability concepts for discrete-event systems modeled by Petri nets, the stabilization problems is addressed. A new promising methodology, based on vector Lyapunov functions, shows that it is possible to restrict the system's state space in such a way that boundedness is guaranteed.
Keywords: Lyapunov theory, Petri nets, discrete-event systems, model boundedness, stabilization problem, vector Lyapunov functions.