TY  - BOOK
AU  - Rosa Velardo, Fernando
AU  - Frutos Escrig, David de
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/68747
AB  - We prove several decidability and undecidability results for nu-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of reachability, by reducing reachability in nets with inhibitor arcs to...
PB  - Arxiv.org
TI  - Decision problems for petri nets with names
TY  - book
ER  -