ISO/IEC 15909-2:2011

Estándar No.
ISO/IEC 15909-2:2011
Fecha de publicación
2011
Organización
International Organization for Standardization (ISO)
Estado
Remplazado por
ISO/IEC 15909-2:2011/Cor 1:2013
Ultima versión
ISO/IEC 15909-2:2011/Cor 1:2013
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



© 2024 Reservados todos los derechos.