Petri Net Markup Language
Petri Net Markup Language (PNML) är ett utbytesformat som syftar till att göra det möjligt för Petri net- verktyg att utbyta Petri net-modeller. PNML är en XML -baserad syntax för Petri-nät på hög nivå, som designas som ett standardutbytesformat för Petri-nätverktyg. Det kommer att bli den andra delen av ISO-standarden ISO/IEC 15909. PNML-grammatik är allmänt tillgänglig på dess referenswebbplats .
Den första delen av denna internationella standard ger de matematiska definitionerna för petrinät på hög nivå. Dessa definitioner kallas den semantiska modellen.
Den tillhandahåller också den grafiska formdefinitionen, känd som High-level Petri Net Graph (HLPNG), och dess mappning till den semantiska modellen.
Från och med december 2004 är den första delen en internationell standard.