10th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

Stationary solutions of discrete and continuous Petri nets with priorities

Cite
BibTeX Plain Text
  • @INPROCEEDINGS{10.4108/eai.25-10-2016.2266593,
    author={Xavier Allamigeon and Vianney Boeuf and St\^{e}phane Gaubert},
    title={Stationary solutions of discrete and continuous Petri nets with priorities},
    proceedings={10th EAI International Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2017},
    month={5},
    keywords={continuous petri nets timed discrete event systems},
    doi={10.4108/eai.25-10-2016.2266593}
}
  • Xavier Allamigeon
    Vianney Boeuf
    Stéphane Gaubert
    Year: 2017
    Stationary solutions of discrete and continuous Petri nets with priorities
    VALUETOOLS
    ACM
    DOI: 10.4108/eai.25-10-2016.2266593
Xavier Allamigeon1, Vianney Boeuf2,*, Stéphane Gaubert1
  • 1: INRIA and CMAP, École polytechnique, CNRS
  • 2: INRIA and CMAP, École polytechnique, CNRS, École des Ponts ParisTech, Brigade de sapeurs-pompiers de Paris
*Contact email: vianney.boeuf@inria.fr

Abstract

We study a continuous dynamics for a class of Petri nets involving priorities. 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.

Keywords
continuous petri nets timed discrete event systems
Published
2017-05-03
Publisher
ACM
http://dx.doi.org/10.4108/eai.25-10-2016.2266593
Copyright © 2016–2024 EAI
EAI Logo

About EAI

Community

Publish with EAI