Titre | Shared resources in production systems: (max,+) analysis |
Type de publication | Article de revue |
Auteur | Boutin, Olivier, Cottenceau, Bertrand , Loiseau, Jean-Jacques, L'Anton, Anne |
Type | Article scientifique dans une revue à comité de lecture |
Année | 2011 |
Langue | Anglais |
Date | 2011 |
Numéro | 2 |
Pagination | 125 - 147 |
Volume | 3 |
Titre de la revue | International Journal of Mathematics in Operational Research |
Mots-clés | (max,+) linear systems, conflicts, dioids, discrete event systems, interval analysis, job shops, Manufacturing cells, modelling, Petri nets, Production management, pseudo-periodic assignment policy, shared resources |
Résumé en anglais | This paper deals with formal modelling of Petri nets including shared resources. These phenomena appear widely in the production management context, for the modelling of manufacturing cells. But, they usually cannot be formally represented in dioid algebraic structures based on sets of scalars. In this paper, we design a method to describe such a phenomenon in a dioid of intervals. In fact, the resource-sharing problem is turned into a time uncertainty problem, regarding the access to the shared resource. In this new problem, time uncertainties are bounded and can be described by intervals. Both bounds of the behaviours of the studied production systems can be manipulated in the scope of the ℤmax dioid, even though the original systems are not ℤmax linear by essence. |
URL de la notice | http://okina.univ-angers.fr/publications/ua1380 |
DOI | 10.1504/IJMOR.2011.038907 |
Lien vers le document |