Petri Net Markup Language (PNML)

Petri Net Markup Language (PNML) is a standardized file format used to represent Petri nets, which are mathematical models for illustrating workflows, processes, or systems involving concurrent activities. PNML uses XML, a flexible text-based format, to describe the components of a Petri net, such as places (conditions or states), transitions (events or actions), and tokens (markers indicating current state). This allows different tools and software to share, analyze, and simulate Petri nets consistently, facilitating the study and optimization of complex systems like manufacturing processes, communication protocols, or business workflows.