Recoverability Analysis of Controlled Discrete Event Systems Modelled by a Class of Petri Nets

This paper studies recoverability from faults of concurrent discrete event systems (DESs) through the stability analysis of interpreted Petri nets (IPN) models. First, the class of IPN named Closed–Loop System Model (CLSM), which allows describing modularly the behaviour of controlled DESs is introduced. Then the notion of stability of DESs is presented and a method for analyzing the property in CLSM models is proposed: a sufficient condition for stability and an algorithm for deciding the property are presented.