SMPT version of the paper "Property Directed Reachability for General…

…ized Petri Nets".

SMPT version of the MCC2021 participation

SMPT version of the paper "On the Combination of Polyhedral Abstracti…

…on and SMT-Based Model Checking for Petri Nets"

First version of the SMPT model-checker