| [Top] | [Contents] | [Index] | [ ? ] |
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. | |