nicolasAmat / SMPT Star 27 Code Issues Pull requests SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions). linear-algebra reachability abstraction model-checking petri-nets smt model-checker sat reductions reachability-analysis structural-reductions smt-solving Updated Nov 14, 2023 Python
nicolasAmat / Kong Star 5 Code Issues Pull requests Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach). graph linear-algebra model-checking petri-net reductions graph-algorithm structural-reductions Updated Oct 20, 2023 Python