An algorithm based on model predictive control for trajectories tracking with untimed PNs

This paper is about trajectory tracking for DESs. The main contribution is to compute incrementally control sequences approaching the minimal length sequences. The method is based on a partial exploration of the PN reachability graph and inspired from the MPC approach. The method is suitable for bounded and unbounded PNs. It also works for PNs with weighted arcs and for PNs with some uncontrollable transitions.