Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets

Abstract

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… (More)
DOI: 10.3182/20121003-3-MX-4033.00034

7 Figures and Tables

Topics

  • Presentations referencing similar topics