Skip to content
/ pnerf Public

Petrinizer: A Constraint-Based Model Checker for Petri Nets

Notifications You must be signed in to change notification settings

cryptica/pnerf

Repository files navigation

===== 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.

About

Petrinizer: A Constraint-Based Model Checker for Petri Nets

Resources

Stars

Watchers

Forks

Packages

No packages published

Contributors 2

  •  
  •