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

Add a description, image, and links to the structural-reductions topic page so that developers can more easily learn about it.

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