Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net

This paper is about the design of firing sequences of minimal time for a class of timed discrete event systems that behave in uncertain environment including unexpected events. Such systems are modelled using partially controllable Transition-Timed Petri nets that encompass controllable deterministic, controllable stochastic and uncontrollable stochastic transitions. The main contribution of the work is to embed the timing aspects of such systems in Reconfigurable Timed Extended Reachability Graphs. As a consequence, the scheduling problem is solved with a standard optimization method. An application to the reactive scheduling of manufacturing systems highlights the advantages of the approach. & COPY; 2023 European Control Association. Published by Elsevier Ltd. All rights reserved.

Automated summary

This paper presents a method for designing firing sequences of minimal time for a class of timed discrete event systems in uncertain environments with unexpected events. The systems are modelled using partially controllable Transition-Timed Petri nets that encompass controllable deterministic, controllable stochastic and uncontrollable stochastic transitions. The timing aspects of the systems are embedded in Reconfigurable Timed Extended Reachability Graphs, enabling the scheduling problem to be solved with a standard optimization method. The approach is demonstrated with an application to reactive scheduling of manufacturing systems.