pub fn subreachability(m: &ModalDblModel, data: ReachabilityProblemData) -> boolExpand description
The “Region Algebra for Petri Nets” algorithm from Ch 31 of (Clarke et al 2018): “Symbolic Model Checking in Non Boolean Domains”.
pub fn subreachability(m: &ModalDblModel, data: ReachabilityProblemData) -> boolThe “Region Algebra for Petri Nets” algorithm from Ch 31 of (Clarke et al 2018): “Symbolic Model Checking in Non Boolean Domains”.