Maria (reachability analyzer)
From HandWiki
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
 |
Encyclopedia of Knowledge
Main page
Data analysis
Mathematics
Natural Sciences Astronomy & Space Biology Computer concepts Chemistry Physics Earth studies Unsolved problems
Humanities History Philosophy Social studies Religion Medicine
Technology & Finance Engineering & Tech Software programs Finance & Business
Biographies Organizations Companies Places
Books Monographs Tutorials Manuals
Natural Sciences Astronomy & Space Biology Computer concepts Chemistry Physics Earth studies Unsolved problems
Humanities History Philosophy Social studies Religion Medicine
Technology & Finance Engineering & Tech Software programs Finance & Business
Biographies Organizations Companies Places
Books Monographs Tutorials Manuals
