Decidability and complexity of Petri nets with unordered data. - Rosa-Velardo, Fernando; Frutos-Escrig, David de (Theor. Comput. Sci., 2011)