高级Petri网是一种用于建模和分析系统和软件的形式化方法。它是Petri网的扩展，具有更强大的表达能力和分析能力。高级Petri网可以用于描述并发系统、分布式系统、实时系统等各种类型的系统。高级Petri网的模型通常包括状态、变迁、库所、弧等元素，以及它们之间的关系。高级Petri网的模型可以用于分析系统的性能、可靠性、安全性等方面。

高级Petri网的建模和分析通常需要使用专门的工具和环境。不同的工具和环境可能使用不同的表示形式来描述高级Petri网模型。这就导致了在不同的工具和环境之间交换和共享高级Petri网模型时存在困难。为了解决这个问题，ISO/IEC 15909-2:2011/COR1:2013定义了一种通用的传输格式，用于表示高级Petri网模型的结构和行为。

ISO/IEC 15909-2:2011/COR1:2013的传输格式基于XML语言。XML是一种通用的标记语言，用于表示结构化数据。XML具有良好的可读性和可扩展性，因此非常适合用于表示高级Petri网模型。该标准的传输格式定义了一组XML元素和属性，用于表示高级Petri网模型的各个方面。这些元素和属性包括库所、变迁、弧、标识、权重、标签等。

使用ISO/IEC 15909-2:2011/COR1:2013的传输格式，可以将高级Petri网模型从一个工具或环境导出，并在另一个工具或环境中导入。这样可以方便地在不同的工具和环境之间共享高级Petri网模型，从而提高建模和分析的效率和准确性。此外，该标准的传输格式还可以用于存储高级Petri网模型，以便将来使用。

ISO/IEC 15909-2:2011/COR1:2013的传输格式是一个非常重要的标准，它为高级Petri网的建模和分析提供了一种通用的表示形式。该标准的传输格式可以促进不同工具和环境之间的交流和合作，从而提高系统和软件工程的效率和质量。

相关标准
- ISO/IEC 15909-1:2011 Systems and software engineering -- High-level Petri nets -- Part 1: Concepts, definitions and graphical notation
- ISO/IEC 15909-3:2011 Systems and software engineering -- High-level Petri nets -- Part 3: Interchange format
- ISO/IEC 15909-4:2011 Systems and software engineering -- High-level Petri nets -- Part 4: Validation
- ISO/IEC 15909-5:2011 Systems and software engineering -- High-level Petri nets -- Part 5: Deterministic and stochastic modelling