GitHub - nicolasAmat/SMPT: SMPT is a SMT-based model checker for Petri ...