export_gspn_pnpro_file

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

Export a GSPN to a file in the PNPRO format.

Parameters:

• gspn – GSPN.

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