export_gspn_pnml_file

export_gspn_pnml_file(gspn: GSPN, path: str | PathLike[str]) → None

Export a GSPN to a file in the PNML format.

Parameters:

• gspn – GSPN.

• path – Path of the output file (string or path-like object).