Sara

Reachability Analysis
A small overview over Sara's purpose

To analyze reachability and similar problems for P/T nets