TY  - JOUR
AU  - Rosa Velardo, Fernando
AU  - Martos Salgado, María Rosa
AU  - Frutos Escrig, David de
PY  - 2011
DO  - 10.3233/FI-2011-611
SN  - 0169-2968
UR  - https://hdl.handle.net/20.500.14352/43726
T2  - Fundamenta informaticae
AB  - Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing pure names, obtaining ν-PNs and proved that they are strictly well...
LA  - eng
M2  - 313
PB  - IOS Press
KW  - Petri nets
KW  - pure names
KW  - infinite state systems
KW  - decidability
KW  - well structured transition systems
KW  - forward analysis
KW  - accelerations
TI  - Accelerations for the coverability set of Petri nets with names
TY  - journal article
VL  - 113
ER  -