summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/petri-nets
ModeNameSize
-rw-r--r--COPYING18007logplain
-rw-r--r--ChangeLog2424logplain
-rw-r--r--README889logplain
-rw-r--r--pndoc.pdf207808logplain
-rw-r--r--pndoc.tex43351logplain