H.C.M.克莱因。；M.库特尼。 带加权约束弧的Petri网的因果语义。 （英语） Zbl 1012.68125号 Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 531-546 (2002). 摘要：通过扩展基于网络展开和发生网络给出的过程语义的标准方法，提出了一种带加权约束弧的加权位置/转移网络（PTI-nets）的因果语义。本文演示了如何构造与PTI网络的步骤序列相对应的过程，并给出了以这种方式获得的过程的非算法（公理）特征。此外，还建立了一个框架，允许分别考虑行为、过程和因果关系，以便讨论不同Petri网类的相互一致性。关于整个系列，请参见[Zbl 0997.00031号]. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。2421531--546（2002；Zbl 1012.68125） 全文： 链接