Compute Optimization of Petri Net Controllers Using the Algebraic Method - Université de Lorraine Access content directly
Journal Articles Applied Sciences Year : 2019

Compute Optimization of Petri Net Controllers Using the Algebraic Method

Abstract

Featured Application: This paper allowed us to implement Petri net controllers on PLCs (Programmable Logic Controller) of the Flexible Manufacturing System (FMS) in the university of UFR MIM in Metz-FRANCE. Our teamwork applied this control model to the FMS recently installed in our laboratory LGIPM using all the appropriate software (Siemens STEP7 and SCHNEIDER Unity Pro for control software, simulation, and modeling software: CPN Tools and finally supervision software: WINCC FLEXIBLE). Abstract: This study attempted to calculate an optimal Petri net supervisor able to respect the control specifications imposed for a flexible manufacturing system. There are several theories around the control synthesis of discrete event systems. Unfortunately, these methods are very sensitive to the combinatorial explosion of states in the generated graph, especially when the complexity of the system increases. It is therefore necessary to move towards new ways based on formal methods allowing the synthesis of a supervisor. In this work, we propose an algebraic approach using the theory of regions. Our main contribution is to design a set of Petri net controllers based on the properties of Petri nets and not on reachability graph generation for bounded Petri nets. This will decrease significantly the production cost of the manufacturing system, since the computation burden of the supervisor is reduced. Our control policy was applied to a flexible manufacturing system implemented in our laboratory. Comparisons with previous studies using CPLEX software are provided in order to illustrate the effectiveness of our proposed method.
Fichier principal
Vignette du fichier
Compute-OptimizationofPetri-Net-Controllers-UsingtheAlgebraic-Method.pdf (2.2 Mo) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-02968023 , version 1 (15-10-2020)

Licence

Attribution

Identifiers

Cite

Sadok Rezig, Sadok Turki, Nidhal Rezg. Compute Optimization of Petri Net Controllers Using the Algebraic Method. Applied Sciences, 2019, 9 (13), pp.2633. ⟨10.3390/app9132633⟩. ⟨hal-02968023⟩
77 View
105 Download

Altmetric

Share

Gmail Facebook X LinkedIn More