22 citations
- Centre de Mathématiques Appliquées de l'École polytechniqueFR2 papers
- École nationale des ponts et chausséesFR2 papers
- École PolytechniqueFR2 papers
- TROPICAL: Méthodes tropicales: structures, algorithmes et interactionsFR2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
2 papers
math.OC2016★ 4 cited
Stationary solutions of discrete and continuous Petri nets with priorities
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
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…
math.OC2015★ 22 cited
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
Xavier Allamigeon, Vianney Bœuf, Stéphane Gaubert
We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulat…