Source: wikibot/petri-net-markup-language
= Petri Net Markup Language
{wiki=Petri_Net_Markup_Language}
Petri Net Markup Language (PNML) is an XML-based language designed for the formal specification and interchange of Petri nets. Petri nets are a mathematical modeling tool widely used for the representation and analysis of concurrent systems. They consist of places, transitions, and arcs, which can model states, events, and the flow of information or resources within a system.