/Master/texmf-dist/scripts/petri-nets/