Maria

• maria-cso(1) shared library generator for maria
• maria-vis(1) graph visualization script for maria
• maria(1) Modular Reachability Analyzer for high-level Petri nets