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$.

翻译：20世纪70年代末，C.A. Petri引入了偏序事件发生（即运行，当时称为\emph{进程}）作为描述分布式系统个体演化的恰当模型。本文提出了一个统一框架来处理Petri网及其运行，特别关注其组合与分解操作。研究证明，对于网$M$和$N$，组合网$M \bullet N$的运行集合等于$M$与$N$各自运行的组合。