PAIS Lab Seminar: Modular system development by composing Petri nets on interfaces // Prof. Lucia Pomello

Dr. Lucia Pomello (professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy) presented the talk on subject: 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.

more...