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

Maria

This manual documents version 1.3.4 of 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.



This document was generated by root on August, 5 2003 using texi2html