Maria (reachability analyzer)
![]() | The topic of this article may not meet Wikipedia's general notability guideline. (May 2013) |
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
[edit]- "Maria: The Modular Reachability Analyzer". www.tcs.hut.fi.