Generation of equations from Interaction Nets

Interaction Nets can be represented by equations as presented in works from Ian Mackie, Jorge Sousa Pinto and Maribel Fernández.
This improves the system with a representation of such equations and automatically generates those equations for the nets graphically edited in the tool.