Publications

  • Dynamic Networks of Timed Petri Nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    In 35th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2014. LNCS 8489, pp. 294-313. Springer, 2014. [PDF] (long version)

  • Expressiveness of Dynamic Networks of Timed Petri Nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    In 8th International Conference on Language and Automata Theory and Applications, LATA 2014. LNCS vol. 8370, pp. 516-527. Springer, 2014. [PDF]

  • Safety and soundness for priced resource-constrained workflow nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    Fundamenta Informaticae, vol. 131(1), pp. 55-80. IOS Press, 2014. [PDF]

  • On the decidability of model checking LTL fragments in monotonic extensions of Petri nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    In 13rd Spanish Conference on Programming and Computer Languages, PROLE'13, 2013. [PDF]

  • Multiset Rewriting for the Verification of Depth-Bounded Processes with Name Binding.
    Fernando Rosa-Velardo, María Martos-Salgado.
    Information and Computation, vol. 215, pp. 68-87. Elsevier, 2012. [PDF]

  • Cost Soundness for Priced Resource-Constrained Workflow nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    In 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2012. LNCS 7347, pp. 108-127. Springer, 2012. [PDF] (long version)

  • Dynamic soundness in Resource-Constrained Workflow Nets.
    María Martos-Salgado, Fernando Rosa-Velardo.
    In 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS'11, and 30th IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE'11. LNCS 6722, pp. 259-273. Springer, 2011. [PDF]

  • Accelerations for the coverability set of Petri nets with names.
    Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig.
    Fundamenta Informaticae, vol. 113(3-4), pp. 313-341. IOS Press, 2011. [PDF]

  • Towards verifying Petri Nets: a model cheking approach
    María Martos-Salgado
    Master Thesis, 2010. [PDF]