Maria (nåbarhetsanalysator)

Maria: Modular Reachability Analyzer är en nåbarhetsanalysator för samtidiga system som använder Algebraic System Nets (en högnivåvariant av Petri-nät ) som sin modelleringsformalism.