SciELO - Scientific Electronic Library Online

vol.4 issue2A CAT Tool for Frequency-domain Testing and Diagnosis on AnalogA Reflective Object-Oriented Architecture for Developing Fault-Tolerant Software author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links


Journal of the Brazilian Computer Society

Print version ISSN 0104-6500On-line version ISSN 1678-4804


BARROS, Tomaz C.; FIGUEIREDO, Jorge C.A. de  and  PERKUSICH, Angelo. A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems . J. Braz. Comp. Soc. [online]. 1997, vol.4, n.2, pp.-. ISSN 1678-4804.

This paper introduces an approach based on Colored Petri Nets (CPN) to systematically introduce fault-tolerance in the design of a supervisor for a Flexible Manufacturing System (FMS). The system is modeled by means of Place/Transition nets and then is structurally reduced, resulting in a CPN that is independent of a specific production route. The introduction of fault tolerance in the design of such a supervisor considers both forward recovery and backward recovery. For forward recovery we anticipate faults in resources in a production route and reschedule the production routes for production orders before the faulty resource is reached. The backward recovery is considered at the level of a resource in such a way that when a faulty resource is fixed, the operation restarts on the last consistent operation executed

Keywords : Fault Tolerance; Forward Recovery; Backward Recovery; Flexible Manufacturing Systems; Colored Petri Nets.

        · text in English


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License