M网络

M网：高级Petri网的一种代数，用于并发编程语言的语义。本文描述了一个高级Petri网模型M网（用于模块化多标记网）。该模型的一个显著特点是，它既允许展开，也允许大多数其他高级网络模型展开；以及以过程代数方式组合（特别是同步），将M网络集合转换为代数域。结果表明，该域的合成运算具有各种代数性质。此外，该模型使得合成操作与展开一致，在某种意义上，复合高层网络的展开是其组件展开的组合。M网的动机之一是它们是提供并发编程语言语义的工具。为了说明它们在这方面的能力，我们给出了B（PN）2的组合语义，这是一种简单、表达力强的并发编程语言。描述了一个关联的低级网络语义，并证明了这些高层语义和低级语义的一致性。