Top Qs
Timeline
Chat
Perspective
Maria (reachability analyzer)
From Wikipedia, the free encyclopedia
Remove ads
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.
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
Remove ads
External links
- "Maria: The Modular Reachability Analyzer". www.tcs.hut.fi.
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads