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.
An editor has nominated this article for deletion. You are welcome to participate in the deletion discussion, which will decide whether to keep it. |
 | 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