Ex4pmEngine.IO.PNMLExporter (ex4pm v26.9.9)

Copy Markdown View Source

ISO/IEC 15909-Compliant Petri Net Markup Language (PNML) Exporter. Produces valid <pnml> XML interchange files importable directly into ProM, WoPeD, and PM4Py.

Summary

Functions

to_xml(net)

Serializes a Workflow Net into a standard PNML XML string.

Functions

to_xml(net)

@spec to_xml(Ex4pmEngine.WorkflowNet.t()) :: String.t()

Serializes a Workflow Net into a standard PNML XML string.