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 :
Theses
Complete list of metadatas

Cited literature [48 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01776100
Contributor : Administrateur Du Ccsd <>
Submitted on : Tuesday, April 24, 2018 - 3:51:53 PM
Last modification on : Thursday, April 26, 2018 - 1:28:18 AM
Long-term archiving on : Wednesday, September 19, 2018 - 3:23:38 PM

File

Savi.Murilo_Vanio.SMZ9424.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01776100, version 1

Collections

Citation

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

Share

Metrics

Record views

11

Files downloads

8