External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decidability of Properties of Timed-Arc Petri Nets

David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso. Decidability of Properties of Timed-Arc Petri Nets. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 187-206, Springer, 2000. [doi]

Authors

David de Frutos-Escrig

This author has not been identified. Look up 'David de Frutos-Escrig' in Google

Valentín Valero Ruiz

This author has not been identified. Look up 'Valentín Valero Ruiz' in Google

Olga Marroquín Alonso

This author has not been identified. Look up 'Olga Marroquín Alonso' in Google
runs on