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]