The adequate evaluation of new technologies in productive systems that perform multiple and simultaneous processes, exploring the intense sharing of resources, demands the updating of supervision and control systems. On the other hand, totally infallible systems are unviable, and for a flexible productive system (FPS) does not to suffer interruptions due to component failure, the concept of AFTCS (active fault-tolerant control system) mechanism must be adopted. In this sense, holonic control system (HCS) is considered a trend for an intelligent automation and the combination of HCS techniques and AFTCS is fundamental to assure efficiency, flexibility and robustness of FPSs. Therefore, this work presents a procedure for the modeling of active holonic fault-tolerant control system (AHFTCS) that considers AFTCS’ requirements and interpreted Petri net for the description of the systems’ behavior. This method is applied to an intelligent building (IB) as a class of FPS and the results are presented.