Prof. Lucia Pomello

Abstract:

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, in accordance with morphisms towards a third net system, which plays the role of a common interface. The preservation of structural and behavioral properties such as deadlock-freeness will be discussed, together with the notions of refinement/abstraction associated with the classes of morphisms considered. The application of this approach to compositional discovery from event logs of workflow nets modeling multi agent systems will be presented.