department of mathematics and computer science Visualization of Transition Systems Hannes Pretorius Visualization Group [email protected] apretori.