Carl Adam Petri established Petri net theory, in 1962, with the publication of his doctoral thesis, "Kommunikation mit Automaten." In the following 54 years, a rich and extensive body of work has been added to the theory and language contributing to the fields of parallel and distributed computing. This 26-page paper focuses on Petri net theory and language, augmenting its use in model checking with the data-centric dynamic systems (DCDS) formalism. The authors state their main contribution: "Our results contribute to the cross-fertilization between the area of formal methods for concurrent systems and the foundations of data-aware processes."
展开▼
机译：卡尔·亚当·佩特里（Carl Adam Petri）于1962年在其博士学位论文《自动化通讯》（Kommunikation mit Automaten）中建立了Petri网络理论。在接下来的54年中，为并行计算和分布式计算领域做出贡献的理论和语言增加了丰富而广泛的工作。这份长达26页的论文专注于Petri网络理论和语言，并通过以数据为中心的动态系统（DCDS）形式主义扩大了其在模型检查中的用途。作者陈述了他们的主要贡献：“我们的研究结果有助于并发系统的形式化方法领域和数据感知过程的基础之间的交叉应用。”
展开▼
