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]

Abstract

Abstract is missing.

runs on