Petri网可扩展性标记语言.doc

系 统 仿 真 学 报 Vol. 15 增刊 Aug. 2003 ·49· JOURNAL OF SYSTEM SIMULATION Petri 网可扩展性标记语言 周必水，胡伟军 （杭州电子工业学院 软件分院，浙江 杭州 310037） 摘 要：PNML（Petri 网标记语言）是一种基于 XML 的 Petri 网的交换格式。因为可以用 PNTD （Petri 类型定义符）来定义 Petri 网的类型，PNML 支持任何一种类型的 Petri 网。PNML 主要用 来在解决由于不同的 Petri 网类型而导致的问题。 关键词：PETRI；XML；PNML；PNTD 文章编号：1004-731X (2003) S1-0049-04 中图分类号：TP301 文献标识码：A The Petri Net Markup Language ZHOU Bi-shui, HU Wei-jun (Hangzhou Institute of Electronics Engineering, software college, Zhejiang Hangzhou 310037, China) Abstract. The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any type of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD).In this paper, we present PNML. Moreover, we present an extension called modular PNML. The Petri Net Markup Language (PNML) focuses on the problem of the different Petri net types. Keywords：petri; xml; pnml; pntd 变迁或为弧。为了构建 Petri 网还要包括另外三种类型的对 PNML 简介 Petri 网工具最重要的特性之一就是要具有向另一种 Petri 网工具导出 Petri 网或者从其他的工具中导入 Petri 网的 功能。多种的 Petri 网类型以及各种 Petri 网工具、Petri 网的 文件格式使这个看似简单的问题却一直得不到一个很好的 解决。2000 年在 Petri 网应用和理论国际会议上开始了 Petri 网标准化的努力，提出了几种基于 XML 交换格式的建议。 PNML 就是其中的方案之一。PNML 主要聚焦在如何解决由 于不同的 Petri 网类型而导致的问题。 PNML 的设计遵循以下原则： 可读性：交换的格式应该易于阅读而且通过文本编辑器 就可以方便地修改。 广泛性：这种格式不应该排斥任何类型的 Petri 网。这 种格式应该能够描述带有任何扩展的 Petri 网。 1 概念 PNML 的一般格式基本上是包含了两种类型的结点的 带有标签的图。这两种结点就是库所和变迁。图 1 给出了所 有概念的综述以及这些概念间的关联。 Petri 网和对象（ Object）:一个满足了交换格式要求的 文件就是一个 Petri 网文件(Petri net File)。它可能包含了几 个 Petri 网。每个 Petri 网由若干对象构成。对象可以是库所、 象：“页”、“引用库所” 和“引用变迁”。为方便起见我们 把库所、变迁、弧称为结点，把引用库所、引用变迁都称为 引用结点。 图 1 PNML 概念综述及其间的关系 标签(Label)：为了给对象赋予更深层次的含义，每个 对象都有一些标签。比如结点的名称、库所的初始标记。此 外 Petri 网本身也有一些标签。合法的标签都由 PNTD 定义。 有两种类型的标签--注释和属性。 图像信息（Graphical information）：每一个对象和注 释都伴随着一些图像信息。对一个结点来说，这些信息就是 它的位置。对注释而言，它的图像信息就是相对于对应结点 收稿日期：2003-04-28 作者简介：周必水 (1964-), 男, 浙江桐庐人, 副教授, 硕导, 研究方向为 人工智能应用，Petri 网应用，CAI 等。 的位置。  工具特定信息（Tool specific information）：对于某些 工具必需要存储一些不被其他工具支持的内部信息。为了存 储这些内部信息，每个对象和标签都要有一些工具特定的信