Dans cette thèse, nous analysons la dynamique de systèmes à événements discrets avec synchronisation et priorités, au moyen de réseaux de Petri et de réseaux de files d'attente.Nous appliquons cela à l'évaluation de performance d'un centre d'appels d'urgence.Notre motivation de départ est pratique. Pendant la durée de ce travail, un nouveau centre d'appels d'urgence a été mis en place pour l'agglomération parisienne, traitant les appels pour la police et les pompiers.La nouvelle organisation traite les appels en deux niveaux.Un premier niveau d'opérateurs répond aux appels, identifie les appels urgents et traite les appels non urgents.Les opérateurs de second niveau sont spécialistes (policiers ou pompiers) et traitent les demandes d'intervention.Quand un appel est identifié au niveau 1 comme très urgent, l'opérateur reste en ligne avec l'appelant jusqu'à ce qu'un opérateur de niveau 2 réponde. De plus, l'appel est prioritaire.Une conséquence de cette procédure est que, lorsqu'aucun opérateur de niveau 2 n'est disponible, les opérateurs de niveau 1 attendent avec ces appels très urgents, et la capacité du niveau 1 diminue.Nous nous intéressons à l'évaluation de performance de divers systèmes correspondant à cette description générale, dans des situations de saturation.Nous proposons trois modèles différents pour traiter ce type de systèmes.Les deux premiers sont des modèles de réseaux de Petri temporisés.Nous enrichissons les classiques réseaux de Petri à choix libres en autorisant des situations de conflit où le routage est résolu par des priorités.La principale difficulté est alors que l'opérateur de la dynamique n'est plus monotone.Dans un premier modèle, nous proposons une dynamique discrète pour cette classe de réseaux de Petri, avec des temps de séjour constants sur les places.Nous prouvons que les variables compteurs d'une exécution du réseau sont les solutions d'un système affine par morceaux, avec retards.Nous étudions les régimes stationnaires de cette dynamique, et caractérisons les régimes affines comme solutoins d'un système affine par morceaux, qui peut être vu comme un système sur le semi-corps de germes tropical (min plus).Les applications numériques montrent cependant que la convergence ne se fait pas toujours vers ces régimes stationnaires affines.Le second modèle est une transformation continue du précédent. Pour la même classe de réseaux de Petri, nous proposons une dynamique sous forme d'équations différentielles discontinues.Nous établissons l'existence et l'unicité de la solution.L'objectif de cette modélisation est d'obtenir un système plus simple dans lequel les pathologies du temps discret disparaissent. Nous montrons que les régimes stationaires sont les mêmes que ceux de la dynamique discrète. Les simulations numériques semblent montrer que la convergence s'obtient effectivement dans ce cas.Nous modélisons aussi le centre d'appels d'urgence comme un réseau de files d'attente, prenant ainsi en compte le caractère aléatoire des différentes variables du centre d'appel.Pour ce système, nous prouvons que la dynamique, après une transformation d'échelle, converge vers une limite fluide, qui correspond au système d'équations différentielles précédent.Cela conforte notre seconde modélisation.Les principaux outils de la preuve de convergence sont le calcul stochastique pour les processus de Poisson, les formulations de Skorokhod généralisées, ou encore des arguments de couplage.Ainsi, nos trois modèles d'un même centre d'appels d'urgence définissent un même comportement asymptotique schématique, décrivant différentes phases de congestion du centre.Dans une seconde partie de cette thèse, nous analysons des simulations poussées, prenant en compte les nombreux détails de notre étude de cas. Les simulations confirment le comportement schématique prédit par nos modèles mathématiques. Nous discutons aussi des interactions complexes provenant de la nature hétérogène du niveau 2. / In this thesis, we analyze the dynamics of discrete event systems with synchronization and priorities, by the means of Petri nets and queueing networks.We apply this to the performance evaluation of an emergency call center.Our original motivation is practical. During the period of this work, a new emergency call center became operative in Paris area, handling emergency calls to police and firemen.The new organization includes a two-level call treatment. A first level of operators answers calls, identifies urgent calls and handles (numerous) non-urgent calls.Second level operators are specialists (policemen or firemen) and handle emergency demands.When a call is identified at level 1 as extremely urgent, the operator stays in line with the call until a level 2 operator answers. The call has priority for level 2 operators.A consequence of this procedure is that, when level 2 operators are busy, level 1 operators wait with extremely urgent calls, and the capacity of level 1 diminishes.We are interested in the performance evaluation of various systems corresponding to this general description, in stressed situations.We propose three different models addressing this kind of systems.The first two are timed Petri net models.We enrich the classical free choice Petri nets by allowing conflict situations in which the routing is solved by priorities.The main difficulty in this situation is that the operator of the dynamics becomes non monotone.In a first model, we consider discrete dynamics for this class of Petri nets, with constant holding times on places.We prove that the counter variables of an execution of the Petri net are solutions of a piecewise linear system with delays.As far as we know, this proof is new, even for the class of free choice nets, which is a subclass of ours.We investigate the stationary regimes of the dynamics, and characterize the affine ones as solutions of a piecewise linear system, which can be seen as a system over a tropical (min-plus) semifield of germs.Numerical experiments show that, however, convergence does not always holds towards these affine stationary regimes.The second model is a ``continuization'' of the previous one. For the same class of Petri nets, we propose dynamics expressed by differential equations, so that the tokens and time events become continue.For this differential system with discontinuous righthandside, we establish the existence and uniqueness of the solution.By using differential equations, we aim at obtaining a simpler model in which discrete time pathologies disappear. We show that the stationary regimes are the same as the stationary regimes of the discrete time dynamics.Numerical experiments tend to show that, in this setting, convergence effectively holds.We also model the emergency call center described above as a queueing system, taking into account the randomness of the different call center variables.For this system, we prove that, under an appropriate scaling, the dynamics converges to a fluid limit which corresponds to the differential equations of our Petri net model.This provides support for the second model.Stochastic calculus for Poisson processes, generalized Skorokhod formulations and coupling arguments are the main tools used to establish this convergence.Hence, our three models of an identical emergency call center yield the same schematic asymptotic behavior, expressed as a piecewise linear system of the parameters, and describing the different congestion phases of the system.In a second part of this thesis, simulations are carried out and analyzed, taking into account the many subtleties of our case study (for example, we construct probability distributions based on real data analysis).The simulations confirm the schematic behavior described by our mathematical models.We also address the complex interactions coming from the heterogeneous nature of level 2.
Identifer | oai:union.ndltd.org:theses.fr/2017SACLX120 |
Date | 18 December 2017 |
Creators | Boeuf, Vianney |
Contributors | Université Paris-Saclay (ComUE), Gaubert, Stéphane |
Source Sets | Dépôt national des thèses électroniques françaises |
Language | English |
Detected Language | French |
Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0139 seconds