Optimal control sets are defined as sets with a smaller cardinality than the cardinality of the set of controlled transitions and obtained when modeling control systems with a multiple and simultaneous control (MSC) approach using controlled Dan/Petri nets +  (Ctrl D/PN + ); optimal and non-redundant control sets are defined as optimal sets without controllers that result redundantly in terms of a set of admissible markings with specific characteristics. In this paper we explain how to find the optimal an non-redundant set of controls in control systems modeled with Ctrl D/PN +  and present the net structure Sigma n   a(q)-y  to model the MSC-logic.
['Eleazar Jimenez Serrano', 'Keijiro Araki', 'Shigeru Kusakabe']
Enforcing the optimal set of controls for state feedback with non-redundant controllers