Logics for Petri nets with propagating failures - Gomes, Leandro (2019)