迈克尔·韦伯;Ekkart Kindler公司 Petri网标记语言。 (英语) Zbl 1283.68260号 Ehrig,Hartmut(编辑)等人,基于通信系统的Petri网技术。Petri网的进展。柏林:施普林格出版社(ISBN 3-540-20538-1/pbk)。《计算机科学讲义》2472124-144(2003)。 摘要:Petri网标记语言(PNML)是一种基于XML的Petri网交换格式。PNML支持任何版本的Petri网,因为新Petri网类型可以由所谓的Petri网络类型定义(PNTD)定义。本文介绍了PNML的语法和语义及其设计原则。此外,我们还提出了一种称为模块PNML的扩展,这是Petri网的一种类型无关的模块概念。关于整个系列,请参见[Zbl 1028.00015号]. 引用于11文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 软件:PNML公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Weber}和\textit{E.Kindler},莱克特。注释计算。科学。2472124--144(2003年;Zbl 1283.68260) 全文: 内政部