Lenguaje de marcado de redes de Petri

El lenguaje de marcado de redes de Petri (PNML) es un formato de intercambio diseñado para permitir que las herramientas de redes de Petri intercambien modelos de redes de Petri. ^{[ 1 ]} PNML es una sintaxis basada en XML para redes de Petri de alto nivel , que se está diseñando como un formato de intercambio estándar para herramientas de redes de Petri. Finalmente, será la segunda parte del estándar ISO/IEC 15909. La gramática de PNML está disponible públicamente en su sitio de referencia .

La primera parte de esta norma internacional, ^{[ 2 ]} proporciona las definiciones matemáticas para las redes de Petri de alto nivel. Estas definiciones se denominan modelo semántico.

También proporciona la definición de la forma gráfica, conocida como grafo de red de Petri de alto nivel (HLPNG), y su correspondencia con el modelo semántico.

A diciembre de 2004,La primera parte es una norma internacional.

Referencias

^ Weber, Michael; Kindler, Ekkart (2003), "The Petri Net Markup Language" , en Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert (eds.), Tecnología Petri Net para sistemas basados en comunicaciones: avances en redes de Petri , Berlín, Heidelberg: Springer, págs. 124-144 , doi : 10.1007/978-3-540-40022-6_7 , ISBN 978-3-540-40022-6, recuperado el 4 de septiembre de 2024
↑ ISO/IEC 15909-1:2004

Enlaces externos

pnml.org - Sitio de referencia de PNML

[1] Weber, Michael; Kindler, Ekkart (2003), "The Petri Net Markup Language" , en Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert (eds.), Tecnología Petri Net para sistemas basados en comunicaciones: avances en redes de Petri , Berlín, Heidelberg: Springer, págs. 124-144 , doi : 10.1007/978-3-540-40022-6_7 , ISBN 978-3-540-40022-6, recuperado el 4 de septiembre de 2024

[2] ISO/IEC 15909-1:2004

[ 1 ]

[ 2 ]