计算带优先级的动力系统的拥堵相及其在急诊科的应用

医疗急诊科是复杂的系统，其中必须根据基于患者病情严重程度的优先级规则对患者进行治疗。我们使用带优先级的Petri网开发了一个急诊科模型，该模型由非单调分段线性动力系统描述。此类系统的稳态解集合形成一个“相图”，其中每个相对应于瓶颈资源（如资深医生、实习生、护士、诊室等）的一个子集。由于相的数量通常随资源数量呈指数增长，开发自动化方法对于处理现实模型至关重要。我们开发了一种计算拥堵图的通用方法。一个关键要素是一个多项式时间算法，用于测试给定的“策略”（瓶颈任务的配置）是否可以通过资源选择来实现。这是通过将其归约为一个不寻常的字典序多面体类的可行性问题来完成的。此外，我们表明每个策略唯一地决定了系统的吞吐量。我们将我们的方法应用于一个案例研究，分析了来自巴黎公共医疗救助机构的一个急诊科简化模型。