Module reachability

Reachability analyses of models.

Structs

ReachabilityProblemData

Data defining a reachability problem for a Petri net.

Functions

subreachability

The “Region Algebra for Petri Nets” algorithm from Ch 31 of (Clarke et al 2018): “Symbolic Model Checking in Non Boolean Domains”.