State-Stability Analysis of Discrete Event Systems using Petri-net Branching Processes

This paper studies fault tolerance of concurrent discrete event systems (DESs) through the stability analysis of Interpreted Petri nets (IPN) models. An efficient method for determining state stability of safe IPN models is proposed. The method is based on the analysis of the sequentially secure branching process of the DES model, which is a finite representation of a PN unfolding: a sufficient condition for stability and an algorithm for deciding the property are presented.