load_gspn_file

load_gspn_file(

path: str | PathLike[str],

*,

constant_definitions: str = '',

) → GSPN

Load a GSPN from a file in the PNML or PNPRO format.

The format is determined by the file extension (.pnml or .pnpro).

Parameters:

• path – Path to the GSPN file (string or path-like object).

• constant_definitions – Definitions of undefined constants, e.g. "N=3,rate=0.5".

Returns:

The GSPN.