Maria (reachability analyzer)
From EverybodyWiki Bios & Wiki
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
- "Maria: The Modular Reachability Analyzer". www.tcs.hut.fi.
| Stub icon | This computer science article is a stub. You can help EverybodyWiki by expanding it. |
This article "Maria (reachability analyzer)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Maria (reachability analyzer). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
