TY - GEN
T1 - Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments
AU - Allamigeon, Xavier
AU - Capetillo, Pascal
AU - Gaubert, Stéphane
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.
PY - 2026/1/1
Y1 - 2026/1/1
N2 - Medical emergency departments are complex systems in which patients must be treated according to priority rules based on the severity of their condition. We develop a model of emergency departments using Petri nets with priorities, described by nonmonotone piecewise linear dynamical systems. The collection of stationary solutions of such systems forms a “phase diagram”, in which each phase corresponds to a subset of bottleneck resources (like senior doctors, interns, nurses, consultation rooms, etc.). Since the number of phases is generally exponential in the number of resources, developing automated methods is essential to tackle realistic models. We develop a general method to compute congestion diagrams. A key ingredient is a polynomial time algorithm to test whether a given “policy” (configuration of bottleneck tasks) is achievable by a choice of resources. This is done by reduction to a feasibility problem for an unusual class of lexicographic polyhedra. Furthermore, we show that each policy uniquely determines the system’s throughput. We apply our approach to a case study, analyzing a simplified model of an emergency department from Assistance Publique – Hôpitaux de Paris.
AB - Medical emergency departments are complex systems in which patients must be treated according to priority rules based on the severity of their condition. We develop a model of emergency departments using Petri nets with priorities, described by nonmonotone piecewise linear dynamical systems. The collection of stationary solutions of such systems forms a “phase diagram”, in which each phase corresponds to a subset of bottleneck resources (like senior doctors, interns, nurses, consultation rooms, etc.). Since the number of phases is generally exponential in the number of resources, developing automated methods is essential to tackle realistic models. We develop a general method to compute congestion diagrams. A key ingredient is a polynomial time algorithm to test whether a given “policy” (configuration of bottleneck tasks) is achievable by a choice of resources. This is done by reduction to a feasibility problem for an unusual class of lexicographic polyhedra. Furthermore, we show that each policy uniquely determines the system’s throughput. We apply our approach to a case study, analyzing a simplified model of an emergency department from Assistance Publique – Hôpitaux de Paris.
KW - Emergency departments
KW - Performance evaluation
KW - Petri nets with priorities
KW - Piecewise-linear Dynamics
KW - Polyhedral Computation
UR - https://www.scopus.com/pages/publications/105020161739
U2 - 10.1007/978-3-032-05792-1_26
DO - 10.1007/978-3-032-05792-1_26
M3 - Conference contribution
AN - SCOPUS:105020161739
SN - 9783032057914
T3 - Lecture Notes in Computer Science
SP - 487
EP - 505
BT - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings
A2 - Prabhakar, Pavithra
A2 - Vandin, Andrea
PB - Springer Science and Business Media Deutschland GmbH
T2 - 2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025
Y2 - 26 August 2025 through 28 August 2025
ER -