Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler. A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. Electronic Notes in Theoretical Computer Science, 312:125-141, 2015. [doi]
Abstract is missing.