Decidability problems in Petri nets with names and replication

  1. Rosa-Velardo, F.
  2. De Frutos-Escrig, D.
Revista:
Fundamenta Informaticae

ISSN: 0169-2968

Ano de publicación: 2010

Volume: 105

Número: 3

Páxinas: 291-317

Tipo: Achega congreso

DOI: 10.3233/FI-2010-368 GOOGLE SCHOLAR
Fonte de datos: Scopus