Main menu:

Site search



Sample Production Systems

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


  • append.gps
  • assign.gps
  • attributed-graphs.gps
  • avl.gps
  • babbelaars.gps
  • buffer
  • circular-buffer
  • attributed-graphs.gps Shows how to use attributed graphs.
  • control.gps Shows how to use a control specification (currently disabled not working in GROOVE).
  • counting.gps
  • crashing-cars.gps
  • dot-net-il-simulation.gps
  • embargo.gps An example using embargo edges (negative application conditions).
  • ferryman.gps A solution for the ferryman problem.
  • frogs.gps
  • gossips.gps A solution for the gossiping girls problem.
  • loops.gps
  • loose-nodes.gps
  • ludo.gps A grammar for simulating the ludo game.
  • ludo_2.gps Another grammar for simulating the ludo game.
  • mergers.gps
  • method-filter.gps
  • method-lookup.gps
  • ordered-list.gps
  • pacman.gps
  • phil.gps
  • priorities.gps An example of using rule-priorities.
  • prod-cons.gps
  • prod-cons-leak.gps
  • queue.gps
  • regexp.gps An example of using regular expressions on edges in rules.
  • rule-generation.gps
  • sierpinsky.gps A production system for simulating the sierpinsky triangles.
  • solitaire.gps
  • tictactoe.gps A production system for simulating Tic Tac Toe.
  • variables.gps Using variables.

More keywords: samples, examples, sample, grammars, production systems.

Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.