diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/petri-nets.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/petri-nets.tlpsrc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/petri-nets.tlpsrc b/Master/tlpkg/tlpsrc/petri-nets.tlpsrc new file mode 100644 index 00000000000..01e91b600e6 --- /dev/null +++ b/Master/tlpkg/tlpsrc/petri-nets.tlpsrc @@ -0,0 +1,8 @@ +name petri-nets +category Package +shortdesc TeX/LaTeX packages for drawing Petri nets +longdesc Petri-nets is a set of TeX/LaTeX packages about Petri nets and +longdesc related models. One package allows to draw Petri-nets in +longdesc PostScript documents. One other defines macros related to PBC, M- +longdesc nets and B(PN) models. A last package just gathers together the +longdesc two previous. [description copied from TeX Catalogue] |