[Top] | [Contents] | [Index] | [ ? ]

# Maria

Introduction |  |
1. The Net Description Language |  | The net description language of Maria
2. Reachability Analysis with Maria |  | Performing reachability analysis with Maria
3. Algorithms used in Maria |  |
A. The Grammar |  | Grammar of the Maria languages
B. The Graph Files |  | Format of the reachability graph files
C. Compiling Maria |  |
C.5 Reporting Bugs |  |
D. Examples |  | Sample Petri Nets for Maria
GNU GENERAL PUBLIC LICENSE |  | The GNU General Public License says how you can copy and share Maria
Index |  | Cross-references to the text.

[Top] | [Contents] | [Index] | [ ? ]

This document was generated on January 22, 2026 using texi2html 1.82.