“…In their original formulation, though, CPNs must be severely restricted when it comes to their formal analysis, in particular requiring color domains to be finite, and in principle allowing one to get rid of the data via propositionalization. Several data-aware fragments of high-level Petri nets that are amenable to formal analysis even in the case of infinite color domains have consequently been studied, ranging from nets where tokens carry single data values (as in data-and ν-nets [23,30]), to nets where tokens are associated to more complex data structures such as nested relations [18], nested terms [32], or XML documents [8]. The common, main issue of al such approaches is that data are still subsidiary to the control-flow dimension: data elements "locally" attached to tokens, without being connected to each other by a global, end-to-end data model.…”