This paper introduces a methodology for modeling and analyzing fault-tolerant manufacturing systems that not only optimizes normal productive processes, but also performs detection and treatment of faults. This approach is based on the hierarchical and modular integration of Petri Nets. The modularity provides the integration of three types of processes: those representing the productive process, fault detection, and fault treatment. The hierarchical aspect of the approach permits us to consider processes on different levels of detail (i.e. factory, manufacturing cell, or machine). Case studies considering detection and treatment of faults are presented, and a simulation tool is applied for verifying the models.
Detection and treatment of faults; manufacturing systems; fault-tolerance; Petri nets
