定时部分顺序推理算法
摘要：使用时间部分序列（TPOs）模型来指定工作流程计划，特别适用于建模制造过程。TPOs集成了工作流程中事件的部分序列，指定了“发生在之前”的关系，并使用时钟上的保护和复位指定了时间约束，这是从定时自动机规范中借鉴的一个理念。TPOs自然地允许我们捕捉事件顺序以及一类受限但有用的时间关系。接下来，我们考虑从工作流程日志中挖掘TPO计划的问题，其中包括事件及其时间戳。我们展示了TPOs的形成与图着色问题之间的关系，并提出了一个学习具有正确性保证的TPOs的算法。我们使用合成数据集演示了我们的方法，其中包括两个受到实际应用影响的飞机周转和Overcooked电脑游戏的游戏视频数据集。我们的TPO挖掘算法可以在几秒钟内从数千个数据点中推测出涉及数百个事件的TPOs。我们展示了所得到的TPOs对于工作流程的依赖关系和时间约束提供了有用的见解。
作者：Kandai Watanabe, Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayana, Tomoya Yamaguchi
论文ID：2302.02501
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-07