Семинар ПОИС: Nested Petri Nets: behaviour analysis and time semantics
На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС Леонид Дворянский. Тема его доклада: «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;