Article ID Journal Published Year Pages File Type
715312 IFAC Proceedings Volumes 2013 6 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Engineering Computational Mechanics