亚斯米娜·阿卜杜达伊姆;奥德·马勒 使用时间自动机的车间调度。 （英语） Zbl 0991.68507号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 478-492 (2001). 摘要：在本文中，我们展示了如何将经典的job-shop调度问题建模为一类特殊的非循环时间自动机。那么，找到一个最优的时间表就相当于在时间自动机中找到一条最短的路径（就运行时间而言）。这种表示为解决优化问题提供了新的技术，更重要的是，它允许自然地建模更复杂的动态资源分配问题，而这些问题在传统的运筹学模型中并不容易捕获。我们提出了在时间自动机中寻找最短路径的几种算法和启发式算法，并在工具Kronos中对大量基准示例进行了测试。关于整个系列，请参见[Zbl 0969.00081号]. 引用于14文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 65年第68季度 形式语言和自动机 软件：克洛诺斯 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abdeda-im}和\textit{O.Maler}，莱克特。注释计算。科学。2102478-492（2001年；Zbl 0991.68507） 全文： 链接