structural-reductions

Here are 2 public repositories matching this topic...

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

To associate your repository with the structural-reductions topic, visit your repo's landing page and select "manage topics."