Skip to Main content Skip to Navigation
Journal articles

Stationary solutions of discrete and continuous Petri nets with priorities

Xavier Allamigeon 1, 2 Vianney Boeuf 3 Stephane Gaubert 1, 2
1 TROPICAL - TROPICAL
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France
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.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01674492
Contributor : Stephane Gaubert <>
Submitted on : Tuesday, January 2, 2018 - 11:40:20 PM
Last modification on : Wednesday, March 27, 2019 - 4:08:32 PM

Links full text

Identifiers

Citation

Xavier Allamigeon, Vianney Boeuf, Stephane Gaubert. Stationary solutions of discrete and continuous Petri nets with priorities. Performance Evaluation, Elsevier, 2017, 113, pp.1 - 12. ⟨10.1016/j.peva.2017.04.007⟩. ⟨hal-01674492⟩

Share

Metrics

Record views

481