Decidability problems in Petri nets with names and replication

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

ISSN: 0169-2968

Año de publicación: 2010

Volumen: 105

Número: 3

Páginas: 291-317

Tipo: Aportación congreso

DOI: 10.3233/FI-2010-368 GOOGLE SCHOLAR