CTL Petri net checker Simple explicit CTL model checker of Petri Nets written in Rust. Run with --help to get usage info.