TeXblog

 Typography with TeX and LaTeX

New TikZ package: tikz-inet

18 June 2008 by Stefan Kottwitz

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:

\documentclass[a4paper,10pt]{article}
\usepackage[fancy]{tikz-inet}
\renewcommand*\inetcolor{blue!25}
\begin{document}
\begin{tikzpicture}
\inetcell{A}
\inetprombox{(A)}(pa)
\inetcell[at=(bpa.east),right=5pt]{B}
\inetwire(B.middle pax)(A.middle pax)
\inetprombox{(bpa)(pa)(B)}(p)
\inetwire(A.pal)(pa.middle pax)
\inetwirefree(pa.pal)
\inetwirefree(p.pal)
\inetwire(B.pal)(p.middle pax)
\end{tikzpicture}
\end{document}

A screenshot of the output:

tikz interaction nets

This entry was posted on 18 June 2008 at 10:03 PM and is filed under pgf/TikZ. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Leave a Reply