Decidability problems in Petri nets with names and replication

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

ISSN: 0169-2968

Datum der Publikation: 2010

Ausgabe: 105

Nummer: 3

Seiten: 291-317

Art: Konferenz-Beitrag

DOI: 10.3233/FI-2010-368 GOOGLE SCHOLAR
Datenquelle: Scopus