Real-time supervision for intelligent manufacturing supported by T-temporal Petri net models

The paper presents the architecture and functioning of an intelligent supervisory module designed for building a supervising heterarchy for real-time manufacturing systems control. The supervisory module is conceived to have intrinsic properties such as robustness to a class of modeling uncertainties (i.e. duration of operations) and adaptivity to a class of resource break-downs. The robustness property is assured by using a modeling support capable of integrating nondeterministic time: T-temporal Petri nets (TTPN). The adaptivity is a consequence of specific local rescheduling procedures based on the modeling approach and of the structure of the control/supervision architecture. A case study illustrates the basic functioning of a supervision module.