Dynamic Soundness in Resource-Constrained Workflow Nets. - María Martos-Salgado; Fernando Rosa-Velardo (FMOODS/FORTE, 2011)

Accelerations for the Coverability Set of Petri Nets with Names. - Fernando Rosa-Velardo; María Martos-Salgado; David de Frutos-Escrig (Fundam. Informaticae, 2011)

Cost Soundness for Priced Resource-Constrained Workflow Nets. - María Martos-Salgado; Fernando Rosa-Velardo (Petri Nets, 2012)

Multiset rewriting for the verification of depth-bounded processes with name binding. - Fernando Rosa-Velardo; María Martos-Salgado (Inf. Comput., 2012)

Dynamic Networks of Timed Petri Nets. - María Martos-Salgado; Fernando Rosa-Velardo (Petri Nets, 2014)

Expressiveness of Dynamic Networks of Timed Petri Nets. - María Martos-Salgado; Fernando Rosa-Velardo (LATA, 2014)

Safety and Soundness for Priced Resource-Constrained Workflow Nets. - María Martos-Salgado; Fernando Rosa-Velardo (Fundam. Informaticae, 2014)