State equation for Data Petri Nets

Prelegent(ci)

Piotr Hofman

Afiliacja

Uniwersytet Warszawski

Termin

22 marca 2017 14:15

Pokój

p. 5870

Tytuł w języku angielskim

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

Seminarium

Seminarium „Teoria automatów”

---

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.

---