Stationary solutions of discrete and continuous Petri nets with priorities

Abstract : We study a continuous dynamics for a class of Petri nets which allows the routing at non-free choice places to be determined by priorities rules. We show that this dynamics can be written in terms of policies which identify the bottleneck places. We characterize the stationary solutions, and show that they coincide with the stationary solutions of the discrete dynamics of this class of Petri nets. We provide numerical experiments on a case study of an emergency call center, indicating that pathologies of discrete models (oscillations around a limit different from the stationary limit) vanish by passing to continuous Petri nets.
Type de document :
Communication dans un congrès
10th EAI International Conference on Performance Evaluation Methodologies and Tools, Oct 2016, Taormina, France. 2016, 10th EAI International Conference on Performance Evaluation Methodologies and Tools
Liste complète des métadonnées

https://hal.inria.fr/hal-01421885
Contributeur : Vianney Boeuf <>
Soumis le : vendredi 23 décembre 2016 - 10:14:50
Dernière modification le : jeudi 11 janvier 2018 - 06:22:34

Identifiants

  • HAL Id : hal-01421885, version 1
  • ARXIV : 1612.07661

Citation

Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. Stationary solutions of discrete and continuous Petri nets with priorities. 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Oct 2016, Taormina, France. 2016, 10th EAI International Conference on Performance Evaluation Methodologies and Tools. 〈hal-01421885〉

Partager

Métriques

Consultations de la notice

234