Maria (reachability analyzer)

Last updated October 21, 2025

An editor has nominated this article for deletion.
You are welcome to participate in the deletion discussion , which will decide whether to keep it.

Feel free to improve the article, but do not remove this notice before the discussion is closed. For more information, see the guide to deletion.
Find sources: "Maria" reachability analyzer – news · newspapers · books · scholar · JSTOR

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)

The topic of this article may not meet Wikipedia's general notability guideline . Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Maria" reachability analyzer – news · newspapers · books · scholar · JSTOR (May 2013) ( Learn how and when to remove this message )

This article does not cite any sources . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Maria" reachability analyzer – news · newspapers · books · scholar · JSTOR (May 2022) ( Learn how and when to remove this message )

( Learn how and when to remove this message )

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.

This computer science article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.