M网络

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