Dynamic soundness in resource-constrained workflow nets M Martos-Salgado, F Rosa-Velardo International Conference on Formal Methods for Open Object-Based Distributed …, 2011 | 22 | 2011 |
Multiset rewriting for the verification of depth-bounded processes with name binding F Rosa-Velardo, M Martos-Salgado Information and Computation 215, 68-87, 2012 | 11 | 2012 |
Accelerations for the coverability set of Petri nets with names F Rosa-Velardo, M Martos-Salgado, D de Frutos-Escrig Fundamenta Informaticae 113 (3-4), 313-341, 2011 | 9 | 2011 |
Dynamic networks of timed Petri nets M Martos-Salgado, F Rosa-Velardo Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 4 | 2014 |
Cost soundness for priced resource-constrained workflow nets M Martos-Salgado, F Rosa-Velardo International Conference on Application and Theory of Petri Nets and …, 2012 | 4 | 2012 |
Expressiveness of dynamic networks of timed Petri nets M Martos-Salgado, F Rosa-Velardo International Conference on Language and Automata Theory and Applications …, 2014 | 2 | 2014 |
Dynamic networks of infinite-state timed processes M Martos-Salgado, F Rosa-Velardo Technical Report 9/13, DSIC Universidad Complutense de Madrid. http …, 2013 | 2 | 2013 |
Safety and Soundness for Priced Resource-Constrained Workflow Nets M Martos-Salgado, F Rosa-Velardo Fundamenta Informaticae 131 (1), 55-80, 2014 | 1 | 2014 |
Expressiveness of ν-lsPN M Martos-Salgado, F Rosa-Velardo Technical Report 10/13, DSIC Universidad Complutense de Madrid. http …, 0 | 1 | |
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias MR Martos Salgado Universidad Complutense de Madrid, 2016 | | 2016 |
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets M Martos-Salgado, F Rosa-Velardo Electronic Communications of the EASST 64, 2014 | | 2014 |
Towards verifying Petri Nets: a model cheking approach MR Martos Salgado | | 2010 |