Decidability and complexity of Petri nets with unordered data | Publicación