On optimal scheduling in DEDS

The local optimality (LO) property for discrete event dynamic systems (DEDS) modeled using Petri nets (PNs) is presented. If a system is divided into independent subsystems and if the optimal behavior of these subsystems guarantees the optimal behavior of the whole system, then this system possesses the LO property. The main advantage of this approach is that it is possible to find an optimal schedule for this class of systems in less time. A characterization of systems exhibiting the LO property, as well as a procedure to divide them into subsystems, is given.<
>