/Master/texmf-dist/doc/generic/petri-nets/