DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Newcastle University
Newcastle-upon-Tyne, Reino UnidoPublicaciones en colaboración con investigadores/as de 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)