TY  - CHAP
AU  - Rosa Velardo, Fernando
AU  - Frutos Escrig, David de
A4  - Lilius, Johan
A4  - Penczek, Wojciech
PY  - 2010
DO  - 10.1007/978-3-642-13675-7_12
SN  - 978-3-642-13674-0
UR  - https://hdl.handle.net/20.500.14352/45441
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 ν-APNs and proved that they are strictly well...
LA  - eng
M2  - 185
PB  - Springer
TI  - Forward analysis for petri nets with name creation
TY  - book part
ER  -