Maria (reachability analyzer)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Script error: No such module "Unsubst".

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

  • Script error: No such module "citation/CS1".

Template:Asbox

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Maria_(reachability_analyzer)&oldid=1131838"