Maria (reachability analyzer)
From Wikipedia, the free encyclopedia
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.
[edit] External link
 |
This article is uncategorized. Please help improve this article by adding it to one or more categories, in addition to a stub category. (how?) Please remove this tag after categorizing. This article has been tagged since November 2006. |
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
