ISO/IEC 15909-2:2011 Ingeniería de sistemas y software - Redes de Petri de alto nivel - Parte 2: Formato de transferencia normas y especificaciones

Alcance: 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 ISO/IEC 15909-1. Este formato de transferencia permite el intercambio de redes de Petri entre diferentes herramientas de redes de Petri y entre diferentes partes. 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, redes de Petri de alto nivel y redes simétricas. La presentación, sin embargo, está estructurada de tal manera que está abierta a futuras ampliaciones, de modo que más adelante se puedan añadir otras versiones de redes de Petri. La definición exacta de este mecanismo de extensión, llamado definición del tipo de red de Petri, no está definida en esta parte de ISO/IEC 15909; se definirá en ISO/IEC 15909-3. El formato de transferencia se utilizará para transferir especificaciones de sistemas desarrollados en Redes de Petri de Alto Nivel entre herramientas para facilitar el desarrollo de sistemas en equipos. Esta parte de ISO/IEC 15909 está escrita como referencia para los desarrolladores de herramientas de red de Petri. Además, será útil para los investigadores que definan nuevas versiones y variantes de las redes de Petri.

ISO/IEC 15909-2:2011 Historia

2013 ISO/IEC 15909-2:2011/Cor 1:2013 Ingeniería de sistemas y software. Redes de Petri de alto nivel. Parte 2: Formato de transferencia; Corrigendum técnico 1
2011 ISO/IEC 15909-2:2011 Ingeniería de sistemas y software - Redes de Petri de alto nivel - Parte 2: Formato de transferencia
2009 ISO/IEC 15909-2:2009 Ingeniería de software y sistemas - Redes de Petri de alto nivel - Parte 2: Formato de transferencia