Build as a Python module:

$ python setup.py develop

The script generate_tikz.py takes GSPNs as input. GSPNs are provided in the PNPRO format which can be created with the GreatSPN tool.

The script outputs a tex file containing a tikz picture representing the corresponding GSPN.

An example call would be:

$ python bin/generate_tikz.py --gspn path/to/gspn_file.pnpro --out path/tikz.tex

To compile the tikz pictures within LaTeX the GSPN style provided in tikz/gspn-tikz.tex needs to be provided. An example include would look as follows:

% Load required tikz packages
\usepackage{tikz}
\usetikzlibrary{positioning,arrows,petri}

% Include GSPN styles
\input{gspn-tikz}