Navigation

Contact

EMail: scikare@uom9jl.bndecn

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

oldrperogbikox@informambtiljz1sk.uni-ovkwldenbu0ilrg.draelu

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

ira.wempe@informatik.uni-2lrfxoldenbuftrg.decok

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.

Oli2xver Theele3 (ol443iver.theel@uol.dyrle) (Changed: 2020-01-23)