Example: Interaction nets

Published 2008-06-27 | Author: Marc de Falco

These examples are from the documentation of the tikz-inet package available on CTAN. The package helps you to draw interaction nets (a graphical programming paradigm close to functional programming and linear logic).

Author:Marc de Falco
Source:The tikz-inet documentation

Download as: [PDF] [TEX]

Interaction nets

Do you have a question regarding this example, TikZ or LaTeX in general? Just ask in the LaTeX Forum.
Oder frag auf Deutsch auf TeXwelt.de. En français: TeXnique.fr.

% Interaction nets
% Author: Marc de Falco

    \foreach \x in {1,...,12} {

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

    \inetcell{A} &
    \inetcell[fancycellstyle=green]{B} \\
    \inetcell[bottom color=green]{C} &
    \inetcell[draw=black]{D} \\
    \inetcell[very thick]{E} &
    \inetnofancy \inetcell{F} \inetfancy \\

    \foreach \x in {1,...,\order} {
        \foreach \y/\symbol in {0/!,1/?} {

    \foreach \x in {1,...,\order} {
        \foreach \y in {1,...,\arity} {
                (c0\x.pax \y)(c1\the\nextcell.pax \the\nextport)


  • #1 Rohin, March 3, 2009 at 6:38 a.m.

    Wow. This looks extremely good. Nice choice of contrasting shades

  • #2 johnbor56, May 9, 2012 at 9:17 a.m.

    Здравствуйте, приглашаю вас на мой сайт http://knigipoyoge.ru с бесплатными книгами. Если вы интерисуетесь йогой, и всем что с ней связано, вы найдете у нас полезную информацию.

Adding comments is currently not enabled.