埃里克·巴杜埃尔;洛伊奇,Hélouët;克里斯托夫·莫尔万 具有结构化数据的Petri网。 (英语) Zbl 1368.68258号 芬丹。通知。 146,第1期,35-82(2016). 摘要:本文考虑结构化数据网(Structured Data Nets,StDN):一种用数据描述开放系统的Petri网扩展。该语言的目标是作为分析使用数据、接受环境输入和实现复杂工作流的系统的正式基础。在StDN中,令牌是结构化文档。每个转换都附加到一个由模式(预设内容的逻辑断言)保护的查询上,并转换标记。我们定义StDN及其语义。然后我们考虑它们的形式属性:标记的可覆盖性、交易的终止和稳健性。不受限制的StDN是图灵完备的,对于StDN来说,社会稳定性、终止性和可靠性是无法确定的。然而,使用文档上的顺序,并对模式和查询的表达性以及文档进行合理限制,我们表明StDN是结构良好的转换系统,其覆盖性、终止性和可靠性都是可以确定的。然后,我们在一个案例研究中展示了StDN的表达能力,并将StDN及其可判定子类与其他类型的高级网络和其他适用于以数据为中心的方法或工作流设计的形式进行了比较。 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 关键词:Petri网;良好准阶;结构化数据 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}等人,Fundam。通知。146,第1号,第35--82号(2016;Zbl 1368.68258) 全文: 内政部