joint work with Sławomir Lasota, Jerome Leroux and Patrick Totzke

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.