PAIS Lab seminar: Nested Petri Nets: behaviour analysis and time semantics

At the session of our seminar, Leonid Dworzansky (researcher of PAIS Lab) delivered the report «Nested Petri Nets: behaviour analysis and time semantics»

Nested Petri nets (NP-nets) are the extension of Petri nets in the framework of the nets-within-nets approach, which assumes that tokens in a Petri net may themselves be Petri nets, possess autonomous behavior, and interact with other tokens of the net. NP-nets are convenient to model complex systems with hierarchical dynamical structure. Ensuring correct behavior of such systems is an actual and important task. In this talk we will discuss:
●    compositional methods for checking liveness and boundedness of NP-nets;
●    place invariants for analysis of behaviour properties of NP-nets;
●    automated translation of NP-net models into systems of distributed components;
●    time semantics for NP-nets;