PAIS Lab seminar: Two talks by prof. Lucia Pomello, University of Milano-Bicocca

Dr. Lucia Pomello (professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy) presented two talks in the field of systems modeling using Petri nets.

April 14^th, 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 21^st, 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