PAIS Lab seminar: Two talks by prof. Lucia Pomello, University of Milano-Bicocca
April 14th, 2014 - 18:30 - aud. 902
Petri Hypernets for modeling mobile agents
Petri hypernets is a formalism based on nets-within-nets paradigm introduced for modeling dynamic agents operating in hierarchically structured environments. Agents can manipulate other agents as tokens, and be manipulated as tokens by other agents at the same time.
The hierarchical structure of Petri hypernets is not static: agents can exchange tokens with their sub- or super-agents, and thereby change the hierarchy. Petri Hypernets have been introduced as descriptions of finite dynamic systems. In this way, each Petri Hypernet can be seen as a compact representation of a standard Petri net. That is, Petri Hypernets can be translated into 1-safe Petri nets with equivalent behavior.
This allows applying the standard techniques of Petri net theory to the analysis of system properties.
In the talk it will be also briefly discussed a generalization of Petri Hypernets and some possible developments.
April 21st, 2014 - 18:30 - aud. 902
Modular system development by composing Petri nets on interfaces
The talk will present a composition operation for basic Petri nets. Such an operation combines two net systems by identifying local states
and by synchronizing events according to morphisms towards a third net system which plays the role of a common interface.
The preservation of structural properties, expressed as invariants, and of behavioral properties such as deadlock-freeness will be also discussed,
together with the notions of refinement/abstraction associated with the classes of morphisms considered.
Slides: (1) 2014_04_14_Petri_Hypernets.pdf (2) 2014_21_04morph_compLPomello.pdf
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!