Skip to Main content Skip to Navigation
New interface

Conception préliminaire des systèmes de production à l'aide des réseaux de Pétri

Abstract : This work is devoted to use of Petri nets for modeling and evaluating non-cyclic manufacturing systems. To model such a system we define a class of Petri nets called RPES (Petri nets with inputs and outputs transitions). After studying the properties of a subclass of RPES, the RPES without conflict, we show how to decompose a RPES into a set of RPES without conflict and define conditions under which the use of RPES without conflict ensures that the system exhibits desirable qualitative properties. The system evaluation is based on a short-term planning followed by a scheduling. The planning problem consists in finding the number of times each RPES without conflict is activated in each elementary period. We show that this problem can be formulated as a linear or quadratic programming problem according to the criterion to be optimized. Efficient methods are proposed for solving this problem. To solve the scheduling problem we propose two heuristics methods : one is a simulated annealing like algorithm and the other one a branch and bound alogithm. To facilitate the use of these algorithms we integrate them into a software with a graphical interface. Next, several comparative studies are done in each step of the evaluation phase. Finally, we apply our methodology on a set of large size examples and we analyse the results
Document type :
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download
Contributor : Administrateur Du Ccsd Connect in order to contact the contributor
Submitted on : Tuesday, April 24, 2018 - 3:51:53 PM
Last modification on : Tuesday, April 5, 2022 - 6:04:05 PM
Long-term archiving on: : Wednesday, September 19, 2018 - 3:23:38 PM


Files produced by the author(s)


  • HAL Id : tel-01776100, version 1



Vânio Murilo Savi. Conception préliminaire des systèmes de production à l'aide des réseaux de Pétri. Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 1994. Français. ⟨NNT : 1994METZ024S⟩. ⟨tel-01776100⟩



Record views


Files downloads