P/R网和进程(Ⅰ)

Petri网是描述、分析和设计并发行为的数学工具。然而,对于并发行为中至关重要的进程概念,网论中的定义一直未能尽如人意。本文认为,把Petri网看作平面网的传统观点是造成这种困难的重要原因,并定义了一种多层Petri网——Petri/Riemann网,简称P/R网,以图解决上述困难。本文证明了,对任意的EN系统(以及C/E系统)均存在一个P/R网表示,既反映系统的静态性质(结点间的拓扑排序),又反映系统的动态性质(事件点火的偏序关系)。P/R网到系统的映射即定义为进程。