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 Results for Restricted Models of Petri Nets with Name Creation and Replication

Fernando Rosa Velardo, David de Frutos-Escrig. Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 63-82, Springer, 2009. [doi]

Abstract

Abstract is missing.

runs on