David De Frutos Escrig

David De Frutos Escrig

Universidad Complutense de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 1256885
Complutense University of Madrid
person_outline David De Frutos Escrig's MOST POPULAR ARTICLES
1-) Decidability and complexity of Petri nets with unordered data Theoretical Computer Science 412 (34), 4439-4451, 2011
2-) Decidability of properties of timed-arc Petri nets Application and Theory of Petri Nets 2000: 21st International Conference …, 2000
3-) On non-decidability of reachability for timed-arc Petri nets Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999
4-) TIC: A timed calculus for LOTOS Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989
5-) Name creation vs. replication in petri net systems Fundamenta Informaticae 88 (3), 329-356, 2008