Links for texlive-pkgs-petri-nets