Reduction of Constraints for Controller Synthesis based on Safe Petri Nets

Abbas Dideban (1) , Hassane Alla (1)

1 GIPSA-SED - GIPSA - Systèmes à événements discrets

n this paper, we present an efficient method based on safe Petri nets to construct a controller. A set of linear constraints al-lows forbidding the reachability of specific states. The number of these so-called forbidden states and consequently the number of constraints are large and lead to a large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri nets invariants, maximal permissive controllers are determined.

Mots clés: Discrete Event Systems (DES); Petri Nets; Supervisory control; Controller synthesis; Forbidden states

Domaines: Automatique

Abbas Dideban, Hassane Alla. Reduction of Constraints for Controller Synthesis based on Safe Petri Nets. Automatica, 2008, 44 (7), pp.1697-1706. ⟨10.1016/j.automatica.2007.10.031⟩. ⟨hal-00333246⟩