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
Other
- 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.
Posted: November 6th, 2007 under Usage.
Comments: none