紧急呼叫中心的性能评估:应用于时间 Petri 网的热带多项式系统
最优化与控制
2015-08-26 v1
摘要
我们分析了一个处理不同优先级呼叫的紧急呼叫中心的时间 Petri 网模型。Petri 网的计数器变量表示作为时间函数的事件累积数量。我们证明这些变量由一个分段线性动态系统决定。我们还证明,计算相关流体动力学的稳态可归结为在芽的热带(min-plus)半域上求解多项式系统。这导出了将流体系统吞吐量表示为资源的分段线性函数的显式公式,揭示了不同拥堵相的存在。数值实验表明,流体动力学的分析能很好地逼近真实吞吐量。
引用
@article{arxiv.1508.06162,
title = {Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets},
author = {Xavier Allamigeon and Vianney Bœuf and Stéphane Gaubert},
journal= {arXiv preprint arXiv:1508.06162},
year = {2015}
}
备注
21 pages, 4 figures. A shorter version can be found in the proceedings of the conference FORMATS 2015