Maria (reachability analyzer)
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
This article is issued from Wikipedia - version of the 5/3/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.