María Martos-Salgado

Cost Soundness for Priced Resource-Constrained Workflow Nets

Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2012, Petri Nets.

Accelerations for the Coverability Set of Petri Nets with Names

Fernando Rosa-Velardo, David de Frutos-Escrig, María Martos-Salgado, 2011, Fundam. Informaticae.

Expressiveness of Dynamic Networks of Timed Petri Nets

Fernando Rosa-Velardo, María Martos-Salgado, 2014, LATA.

Dynamic Networks of Timed Petri Nets

Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2014, Petri Nets.

Multiset rewriting for the verification of depth-bounded processes with name binding

Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2012, Inf. Comput..

Dynamic Soundness in Resource-Constrained Workflow Nets

Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2011, FMOODS/FORTE.

Safety and Soundness for Priced Resource-Constrained Workflow Nets

Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2014, Fundam. Informaticae.