María Martos-Salgado

According to our database, María Martos-Salgado authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

On the decidability of model checking LTL fragments in monotonic extensions of Petri nets.

María Martos-Salgado, Fernando Rosa-Velardo

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014

Safety and Soundness for Priced Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Fundam. Informaticae, 2014

Expressiveness of Dynamic Networks of Timed Petri Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Language and Automata Theory and Applications, 2014

Dynamic Networks of Timed Petri Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2012

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

Fernando Rosa-Velardo, María Martos-Salgado

Inf. Comput., 2012

Cost Soundness for Priced Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

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

Dynamic Soundness in Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Formal Techniques for Distributed Systems, 2011