Contact

EMail:

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

[Invited Talk 27.02.2018] vBochmann

Modular system development composing Petri nets by morphisms

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.

(Changed: 2021-04-30)