Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets. - Alberto Lutz-Ley; Ernesto López-Mellado (WODES, 2012)

Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings. - Alberto Lutz-Ley; Ernesto López-Mellado (IEEE Trans Autom. Sci. Eng., 2018)