Publicacions en col·laboració amb investigadors/es de Newcastle University (3)

2021

  1. Investigating Reversibility of Steps in Petri Nets

    Fundamenta Informaticae, Vol. 183, Núm. 1-2, pp. 67-96

2019

  1. Reversing Steps in Petri Nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. An efficient characterization of petri net solvable binary words

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)