Sistemas Informáticos y Computación
Department
Newcastle University
Newcastle-upon-Tyne, Reino UnidoPublications in collaboration with researchers from Newcastle University (3)
2021
-
Investigating Reversibility of Steps in Petri Nets
Fundamenta Informaticae, Vol. 183, Núm. 1-2, pp. 67-96
2019
-
Reversing Steps in Petri Nets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
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)