Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
715312 | IFAC Proceedings Volumes | 2013 | 6 Pages |
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