===== Petrinizer: A Constraint-Based Model Checker for Petri Nets

Description of directories:

• ./CAV2014-benchmarks/

  • Benchmarks corresponding to the experiments of CAV2014

• ./benchmarks/

  • Benchmarks corresponding to the development of Petrinizer

• ./ocaml/

  • OCaml version of Petrinizer

• ./paper/

• ./src/

  • Bash+Prolog version of Petrinizer

• ./summary/

  • Summary of experiments on ./benchmarks//

• ./tests/

  • Unit tests corresponding to end-to-end examples.