Introduction 1. The Net Description Language 2. Reachability Analysis with Maria 3. Algorithms used in Maria A. The Grammar B. The Graph Files C. Compiling Maria D. Examples GNU GENERAL PUBLIC LICENSE Index