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}