name petri-nets docfiles texmf-dist/doc/latex/petri-nets/README texmf-dist/doc/latex/petri-nets/pndoc.pdf texmf-dist/doc/latex/petri-nets/pndoc.tex srcfiles texmf-dist/source/latex/petri-nets/COPYING texmf-dist/source/latex/petri-nets/pn2pdf runfiles texmf-dist/tex/latex/petri-nets/pndraw.sty texmf-dist/tex/latex/petri-nets/pndraw.tex texmf-dist/tex/latex/petri-nets/pnets.sty texmf-dist/tex/latex/petri-nets/pnets.tex texmf-dist/tex/latex/petri-nets/pntext.sty texmf-dist/tex/latex/petri-nets/pntext.tex texmf-dist/tex/latex/petri-nets/pnversion.tex