summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/petri-nets
ModeNameSize
-rw-r--r--README888logplain
-rw-r--r--pndoc.pdf201924logplain
-rw-r--r--pndoc.tex40026logplain