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

Estándar No.

ISO/IEC 15909-2:2011/Cor 1:2013

Fecha de publicación

2013

Organización

International Organization for Standardization (ISO)

Ultima versión

ISO/IEC 15909-2:2011/Cor 1:2013

Alcance

Esta corrección técnica introduce dos nuevos URI que identifican el tipo de red de Petri en la versión según esta corrección. Hay un nuevo URI para grafos de red de Petri de alto nivel y otro para redes simétricas (los demás tipos de red no se ven afectados por esta corrección técnica y, por lo tanto, no necesitan modificarse). Para mantener la coherencia, el URI correspondiente a los tipos de red de Petri afectados se añade explícitamente a las cláusulas que los definen.

ISO/IEC 15909-2:2011/Cor 1:2013 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

estándares y especificaciones