Esta parte de ISO/IEC 15909 define un formato de transferencia basado en XML para redes de Petri, que se definen conceptual y matemáticamente en la parte 1 de ISO/IEC 15909. Este formato de transferencia permite el intercambio de redes de Petri entre diferentes herramientas de redes de Petri y entre diferentes fiestas. Además, esta parte de ISO/IEC 15909 define algunos conceptos y sintaxis basada en XML para definir la apariencia gráfica detallada de las redes de Petri. El enfoque de esta parte de ISO/IEC 15909 está en el formato de transferencia para redes de lugar/transición, de alta Redes de Petri de nivel y redes simétricas. La presentación, sin embargo, está estructurada de tal manera que está abierta a futuras ampliaciones, por lo que otras versiones
DS/ISO/IEC 15909-2:2011 Historia
2011DS/ISO/IEC 15909-2:2011 Ingeniería de sistemas y software - Redes de Petri de alto nivel - Parte 2: Formato de transferencia