State equation for Data Petri Nets

Data nets are yet another extension of Petri Nets in which the relations between consumed and produced tokens are very restricted.
Unordered/Ordered Data Petri Nets (UDPN) from the theory perspective are natural and easy to define. Furthermore, similarly
to Petri Nets they have a lot of structure to explore. During the talk we will start from defining U/ODPN and formulating the state equation
an analogue of one of the simplest and most important equations for Petri Nets.
Next, I will present a sketch of our results and developed methods.