Online Activation and Deactivation of a Petri Net Supervisor

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 f...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Sadok Rezig, Nidhal Rezg, Zied Hajej
Formato:	article
Lenguaje:	EN
Publicado:	MDPI AG 2021
Materias:	supervisory control flexible manufacturing system discrete event system theory of regions activation deactivation Mathematics QA1-939
Acceso en línea:	https://doaj.org/article/7c5300422f28479db69ab315b12f84f2
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:7c5300422f28479db69ab315b12f84f2
record_format	dspace
spelling	oai:doaj.org-article:7c5300422f28479db69ab315b12f84f22021-11-25T19:07:40ZOnline Activation and Deactivation of a Petri Net Supervisor10.3390/sym131122182073-8994https://doaj.org/article/7c5300422f28479db69ab315b12f84f22021-11-01T00:00:00Zhttps://www.mdpi.com/2073-8994/13/11/2218https://doaj.org/toc/2073-8994This 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 colors.Sadok RezigNidhal RezgZied HajejMDPI AGarticlesupervisory controlflexible manufacturing systemdiscrete event systemtheory of regionsactivationdeactivationMathematicsQA1-939ENSymmetry, Vol 13, Iss 2218, p 2218 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	supervisory control flexible manufacturing system discrete event system theory of regions activation deactivation Mathematics QA1-939
spellingShingle	supervisory control flexible manufacturing system discrete event system theory of regions activation deactivation Mathematics QA1-939 Sadok Rezig Nidhal Rezg Zied Hajej Online Activation and Deactivation of a Petri Net Supervisor
description	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 colors.
format	article
author	Sadok Rezig Nidhal Rezg Zied Hajej
author_facet	Sadok Rezig Nidhal Rezg Zied Hajej
author_sort	Sadok Rezig
title	Online Activation and Deactivation of a Petri Net Supervisor
title_short	Online Activation and Deactivation of a Petri Net Supervisor
title_full	Online Activation and Deactivation of a Petri Net Supervisor
title_fullStr	Online Activation and Deactivation of a Petri Net Supervisor
title_full_unstemmed	Online Activation and Deactivation of a Petri Net Supervisor
title_sort	online activation and deactivation of a petri net supervisor
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/7c5300422f28479db69ab315b12f84f2
work_keys_str_mv	AT sadokrezig onlineactivationanddeactivationofapetrinetsupervisor AT nidhalrezg onlineactivationanddeactivationofapetrinetsupervisor AT ziedhajej onlineactivationanddeactivationofapetrinetsupervisor
_version_	1718410286780645376

Online Activation and Deactivation of a Petri Net Supervisor

Ejemplares similares