A ZBDD Package for Efficient Model Checking of Petri Nets.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Heiner, Monika; Rohr, Christian; Schwarick, Martin: MARCIE -- model checking and reachability analysis done efficiently (2013)
- Schwarick, Martin; Tovchigrechko, Alexej: IDD-based model validation of biochemical networks (2011)