DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Universidad Autónoma de Madrid
Madrid, EspañaPublications en collaboration avec des chercheurs de Universidad Autónoma de Madrid (3)
2011
-
Accelerations for the coverability set of Petri nets with names
Fundamenta Informaticae
2010
-
Decidability problems in Petri nets with names and replication
Fundamenta Informaticae
2008
-
Name creation vs. replication in petri net systems
Fundamenta Informaticae