Online Activation and Deactivation of a Petri Net Supervisor - Université de Lorraine Accéder directement au contenu
Article Dans Une Revue Symmetry Année : 2021

Online Activation and Deactivation of a Petri Net Supervisor

Résumé

This paper highlights algebraic and mathematical properties in symmetry with Petri nets in order to control automated systems such as flexible workshops, which represent one of the most important examples in industry and for discrete event systems in general. This project deals with the problem of forbidden state transition by using a new application of the theory of regions for supervisory control. In the literature, most control synthesis methods suffer greatly from a cumbersome calculation burden of the Petri net supervisor given the complex exploration of the state graph. Our new methodology lightens the computational load of the Petri net supervisor by choosing specific regions on the reachability graph, on which the control is calculated offline using CPLEX. The determined controller is activated online if the process enters the chosen region, and deactivated otherwise. All our experiments were applied in a flexible workshop implemented in our research laboratory, which was used to engrave selected models on glass blocks of different color.
Fichier principal
Vignette du fichier
symmetry-13-02218.pdf (2.42 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03691118 , version 1 (08-06-2022)

Identifiants

Citer

Sadok Rezig, Nidhal Rezg, Zied Hajej. Online Activation and Deactivation of a Petri Net Supervisor. Symmetry, 2021, 13 (11), pp.2218. ⟨10.3390/sym13112218⟩. ⟨hal-03691118⟩
12 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More