Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets

Xavier Allamigeon 1, 2 Vianney Boeuf 3, 4, 2, 1 Stéphane Gaubert 1, 2
1 MAXPLUS - Max-plus algebras and mathematics of decision
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
Type de document :
Communication dans un congrès
13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. Springer, 9268, 2015, Formal Modeling and Analysis of Timed Systems. 〈10.1007/978-3-319-22975-1_2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01248814
Contributeur : Stephane Gaubert <>
Soumis le : lundi 28 décembre 2015 - 20:11:18
Dernière modification le : jeudi 10 mai 2018 - 02:05:53

Lien texte intégral

Identifiants

Citation

Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets. 13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. Springer, 9268, 2015, Formal Modeling and Analysis of Timed Systems. 〈10.1007/978-3-319-22975-1_2〉. 〈hal-01248814〉

Partager

Métriques

Consultations de la notice

465