×

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号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

PNML公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部