Maria (reachability analyzer)

From HandWiki

Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism.

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Maria_(reachability_analyzer)&oldid=2356950"