Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

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: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page