New TikZ package: tikz-inet

The today released package tikz-inet extends TikZ with commands for drawing interaction nets. At least Version 2.0 of pgf/TikZ is required.

For imformation about interaction nets see “Interaction Nets” by Y.Lafont, in POPL’90, 95-108 or for example the Diploma of Simon Gay, 1991.

Here is a small code example similar to one given in the documentation:

\inetwire(B.middle pax)(A.middle pax)
\inetwire(A.pal)(pa.middle pax)
\inetwire(B.pal)(p.middle pax)

A screenshot of the output:

tikz interaction nets

18. June 2008 by stefan
Categories: Graphics, News, pgf/TikZ | Leave a comment

Leave a Reply

Required fields are marked *