To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
data-flow in an event log
I am interested in data-aware process mining. I have read some papers about it  and apparently, it is possible for a Data Petri Net (DPN-net) to write the value of a set of variables during a transition firing. Thus, I guess that an event log can also contain data-flow information. Taking a look at the real-life event log used in  (https://data.4tu.nl/repository/uuid:3926db30-f712-4394-aebc-75976070e91f
), I can see the definition of some data variables, in tags like:
<string key="AMOUNT_REQ" value="25000"/>
at the beginning of a trace. But I cannot see how inside an event, the value of a variable can be changed. Any help/example of how to do this in an event log?
 De Leoni, M., & van der Aalst, W.
M. (2013, March). Data-aware process mining: discovering decisions in
processes using alignments. In Proceedings of the 28th annual ACM symposium on applied computing
(pp. 1454-1461). ACM.