系统与部分有序运行的组合性
Compositionality of Systems and Partially Ordered Runs
German Research Center for Artificial Intelligence (DFKI)（德国人工智能研究中心）；Saarland University（萨尔兰州立大学）；Humboldt-Universität zu Berlin（柏林洪堡大学）
AI总结：
本文提出了一种统一框架，用于处理Petri网及其运行，证明了组合网的运行集等于各网运行的组合。
摘要：
在20世纪70年代末，C.A. Petri引入了部分有序事件发生（运行），随后称为“过程”，作为描述分布式系统个体演化的适当模型。本文提出了一种统一框架，用于处理Petri网及其运行，特别是用于组合和分解它们。证明了对于网M和N，组合网M ⋄ N的运行集等于M和N的运行的组合。
英文摘要：
In the late 1970s, C.A. Petri introduced partially ordered event occurrences (runs), then called \emph{processes}, as the appropriate model to describe the individual evolutions of distributed systems. Here, we present a unified framework for handling Petri nets and their runs, specifically to compose and decompose them. It is shown that, for nets $M$ and $N$, the set of runs of the composed net $M \bullet N$ equals the composition of the runs of $M$ and $N$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
