YouTube videos
Here are a number of tutorial videos available on YouTube:
-
Introduction to Groove. An introductory demo showing the basic functionalities of the tool.
-
Editing graphs. How to perform basic graph and rule editing.
-
Tye graphs. How to use typing in your rule system.
-
Visualization. How to use the GUI options of the Simulator in order to work with large graphs in a useful manner.
Colloquia
Here are a couple of links to longer presentations, given in the course of the GreTa seminar:
- In the GROOVE, part 1, covering:
- Basic functionality
- Exploration
- Attributed graphs
- In the GROOVE, part 2, covering:
- Extended rule matching features
- Nested rules
- Rule parameters
- Control
- Functions and recipes
- Model checking