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
Categories:
- Petri nets
- Computer science stubs
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
