Clément伯特兰;汉娜·克劳代尔;马蒂厄·拉塔比;弗雷德里克·佩申斯基 链接流中的模式匹配:一种基于标记的方法。 (英语) Zbl 1427.68182号 Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 227-247 (2018). 摘要:链接流将复杂分布式系统中的交互动力学建模为给定时间发生的链接序列(交互)。检测此类序列中的模式对于许多应用程序来说至关重要,但这也带来了一些挑战。特别是,没有一种通用的方法可以像正则表达式和文本模式自动机那样规范和检测链接流模式。为了解决这个问题,我们提出了一个新的自动机框架,将时间约束和有限内存与识别算法结合在一起。该算法使用与高级Petri网中的令牌类似的结构,包括非确定性和并发性。我们将在实际案例中说明我们的框架的使用,并评估其实际性能。关于整个系列,请参见[Zbl 1387.68023号]. MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 65年第68季度 形式语言和自动机 关键词:定时模式识别;有限记忆自动机;时间自动机;复杂网络;链接流 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertrand}等人,Lect。注释计算。科学。10877,227--247(2018;Zbl 1427.68182) 全文: 内政部 哈尔