Man Pages in maria

Section 1: Executable programs or shell commands

maria.1

Modular reachability analyzer for high-level petri nets

maria-cso.1

Shared library generator for maria

maria-vis.1

Graph visualization script for maria