PAIS Lab seminar: Methods of analysis for Nested Petri Nets (NP-nets) // L. Dworzanski

Leonid Dworzanski, research fellow of PAIS Lab (Higher School of Economics), presented the talk on subject "Methods of analysis for Nested Petri Nets".

Nested Petri Nets (NP-nets) is a formalism within net-within-nets paradigm for modelling complex systems with hierarchical dynamical structure. Such systems are not rare, and naturally occur in technical, biological, sociological environment.

A two level NP-net consists of a system net and marked element nets. The system net defines the high-level design of the modelled system behaviour (telecommunication protocol, software development process). The marked element nets represent active members of the modelled system (protocol participants, software agents, corporate employees). Synchronization and communication between the agents are modeled viasynchronization transitions in the system net of an NP-net.

In this talk I'll explore current problems in NP-nets analysis methods, some achieved theoretical and practical results in the field, as wellas further directions, and ongoing research in the field.


С е м и н а р    п е р в ы й   
7 октября 2013




С е м и н а р    в т о р о й    
21 октября 2013


большие фото по нажатию

Слайды:  слайды 21 октября 2013