On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets | Publicación