[Top] | [Contents] | [Index] | [ ? ] |
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 by root on November 22, 2009 using texi2html 1.82.