TY  - CHAP
AU  - Rosa Velardo, Fernando
AU  - Frutos Escrig, David De
A4  - Francescinis, Giuliana
A4  - Wolf, Karsten
PY  - 2009
DO  - 10.1007/978-3-642-02424-5_6
SN  - 978-3-642-02423-8
UR  - https://hdl.handle.net/20.500.14352/53230
AB  - In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverability remains decidable for them. We also extended P/T nets with the...
LA  - eng
M2  - 63
PB  - Springer
TI  - Decidability results for restricted models of petri nets with name creation and replication
TY  - book part
ER  -