Decidability problems in Petri nets with names and replication

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

ISSN: 0169-2968

Year of publication: 2010

Volume: 105

Issue: 3

Pages: 291-317

Type: Conference paper

DOI: 10.3233/FI-2010-368 GOOGLE SCHOLAR
Data source: Scopus