Optimal state feedback for single-place connected circuits using controlled Dan/Petri nets+

This is the first work in its type trying to optimize the set of controls for a state feedback. Controlled Dan/Petri nets⁺ is a modeling framework based on Place/Transitions Nets used to model a control-logic called multiple and simultaneous control (MSC) which can reduce the size of the set of controls. In this paper we present the subnet structure called Sigma^f(q) to model the MSC-logic and an algorithm to design an optimal state feedback with a set of controls for a class of Dan/Petri Net⁺ having a single-place connected circuits and the conditions to obtain a maximally permissive and optimal state feedback.