Petri-nets is a set of TeX/LaTeX packages about Petri nets and related models. Three packages are available:

• the first allows the user to draw Petri-nets in PostScript documents;
• the second defines macros related to PBC, M-nets and B(PN) models;
• and a third that combines the other two.

The author is Franck Pommereau. The package is Copyright © 1999-2000 Franck Pommereau.