ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities.

Michel Billaud ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. 437-438 1991 conf/rta/1991 RTA db/conf/rta/rta91.html#Billaud91 http://dx.doi.org/10.1007/3-540-53904-2_117