Maria (reachability analyzer)

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


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Maria — (given name) is a given name, usually for a female, but occasionally male. Maria or María may also refer to: Maria (gens), a plebeian family of Ancient Rome Madia Gond or Maria, a people of Gadchiroli District, Maharashtra State, India María,… …   Wikipedia

  • Maria (given name) — This article is about the given name. For other uses, see Maria (disambiguation). Maria Gender Female Origin Word/Name Hebrew via Latin and Greek Meaning wished for child , bitter , rebellious …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”