Decidability problems in Petri nets with names and replication

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

ISSN: 0169-2968

Any de publicació: 2010

Volum: 105

Número: 3

Pàgines: 291-317

Tipus: Aportació congrés

DOI: 10.3233/FI-2010-368 GOOGLE SCHOLAR