本文定义了一种称为高级Petri网的Petri网建模语言或技术，包括其语法和语义。它提供了一个可在组织内部和组织之间使用的参考定义，以确保对该技术和使用该技术编写的规范有一个共同的理解。本文档还促进了Petri网计算机支持工具的开发和互操作性。交叉引用:ISO/IEC 15909-2购买时可用的所有现行修订均包含在本文件的购买中。

This document defines a Petri net modeling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. This document also facilitates the development and interoperability of Petri net computer support tools.Cross References:ISO/IEC 15909-2All current amendments available at time of purchase are included with the purchase of this document.