克莱门特·伯特兰;弗雷德里克·佩申斯基;汉娜·克劳代尔;马蒂厄·拉塔比 链路流中的模式匹配:具有有限内存的时间自动机。 (英文) Zbl 1424.68083号 科学。Ann.计算。科学。 161-198年第2号第28页(2018年). 摘要:链接流将复杂分布式系统中的交互动力学建模为给定时间发生的链接序列(交互)。检测此类序列中的模式对于许多应用程序来说至关重要,但这也带来了一些挑战。特别是,没有一种通用的方法可以像正则表达式和文本模式自动机那样规范和检测链接流模式。为了解决这个问题,我们提出了一个新的自动机框架,将时间约束和有限内存与识别算法结合在一起。该算法使用与高级Petri网中的令牌类似的结构,包括非确定性和并发性。我们将在实际案例中说明我们的框架的使用,并评估其实际性能。 引用于1文件 MSC公司: 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68吨10 模式识别、语音识别 68瓦32 字符串上的算法 关键词:定时模式识别;差分界矩阵;有限记忆自动机;时间自动机;复杂网络;链接流 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertrand}等人,科学。Ann.计算。科学。28,第2号,161--198(2018;Zbl 1424.68083) 全文: 内政部