Practical Stability of a class of Discrete event systems modeled by Coloured Petri Nets using Lyapunov and Comparison Methods
Parameterised coloured Petri nets