Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets

Andra Ioana Vasiliu (1) , Abbas Dideban (2) , Hassane Alla (3)

1 GIPSA-lab - Grenoble Images Parole Signal Automatique
2 Laboratoire Semnan University
3 GIPSA-SED - GIPSA - Systèmes à événements discrets

This paper addresses the problem of forbidden states in both safe and non-safe Petri net (PN) models. An efficient control synthesis method is presented. Logical control conditions or predicates are associated to controllable transitions with intent to prevent the model from reaching any forbidden states. A simplification technique using over-states is then employed to minimize the final controls. Finally, the problem of control optimality is raised and answered.

Mots clés: Discrete Event Systems; Petri Nets; Supervisory Control; Controller Synthesis; Forbidden States

Domaines: Automatique / Robotique

Andra Ioana Vasiliu, Abbas Dideban, Hassane Alla. Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets. Journal of Control Engineering and Applied Informatics, 2009, 11 (2), pp.43-50. ⟨hal-00423077⟩