Suggestions for Petri-nets

The following packages have something in common with the package Petri-nets. The packages are ordered in decreasing similarity.

Package lpform: Typesetting linear programming formulations and sets of equations
Package pmat: Typeset partitioned matrices
Package undertilde-gen: A simple macro for placing a tilde under a character
Package variations: Typeset tables of variations of functions
Package tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra’s style
Package anti: Typeset an anti-particle in maths mode
Package mandel: Compute the Mandelbrot set
Package calcfrac: Calculates the value of an expression containing fractions
Package minim-math: Extensive maths for LuaTeX
Package proofs: Macros for building proof trees
Package mathdots: Commands to produce dots in math that respect font size
Package qed: Produce an end-of-proof mark
Package systeme: Format systems of equations
Package autoaligne: Align terms and members in math expressions
Package stretchy: Macros for creating stretchy TeX symbols
Package xlop: Calculates and displays arithmetic operations
Package youngtab: Typeset Young-Tableaux
Package pdfmsym: PDF Math Symbols – various drawn mathematical symbols
Package tuple: Expandable operations for tuples of numbers
Package witharrows: Aligned math environments with arrows for comments
Package polexpr: A parser for polynomial expressions
Package cdlabeler: Take user text and typeset it to fit a CD label
Package cptex: Use different code pages for TeX input
Package texchord: Typeset guitar-chord diagrams
Package trigonometry: Demonstration code for cos and sin in TeX macros
Package apnum: Arbitrary precision numbers implemented by TeX macros
Package bagpipe: Support for typesetting bagpipe music
Package binhex: Convert numbers into binary, octal and hexadecimal
Package code128: Barcode macros for the Code 128 standard
Package c-pascal: Typeset Python, C and Pascal programs
Package formlett: Letters to multiple recipients