GROOVE

Production Rules A GROOVE production rule is itself a graph combining four kinds of elements (i.e., nodes and edges). They are distinguished by color and shape. An example containing all types of elements is in the next picture (which represents the adding of an Object to a Buffer, becoming the last element of the Buffer). […]

The groove package comes with a large set of example production systems, demonstrating features for rule specification or give an example of specifying a certain system. Below, an alphabetic list of the samples is given, with an optional description: Samples showing the Quentified Rules feature: copyTest.gps petrinet.gps gossip.gps Other append.gps assign.gps attributed-graphs.gps avl.gps babbelaars.gps buffer […]