Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets
DOI10.1007/978-3-319-22975-1_2zbMath1465.68191arXiv1508.06162OpenAlexW2212342757MaRDI QIDQ2945579
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1508.06162
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Flow control and optimization for compressible fluids and gas dynamics (76N25) Tropical optimization (e.g., max-plus optimization) (90C24)
Related Items (6)
Cites Work
- Piecewise linear concave dynamical systems appearing in the microscopic traffic modeling
- Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids
- Verification of Timed-Arc Petri Nets
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Formal Modeling and Analysis of Timed Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets