MARIA(1) - Linux manual page online | User commands

Modular Reachability Analyzer for high-level Petri nets.