SMPT - Satisfiability Modulo Petri Nets | Nicolas Amat