PAIS Lab seminar: "Event Structures: Yet Another Process Model"

At the session of our seminar,  Rinat Yusupov (Master's student at the HSE CS Faculty) delivered a report "Event Structures: Yet Another Process Model"

Abstract:

Event Structure is a well-studied mathematical object, which turned out to be useful for representing models of concurrent processes. Event Structures were first mentioned in the works of G. Kahn and G. Plotkin in connection with their investigation of fundamental questions of denotational semantics. The report will describe the different types of Event Structures, their relationship with other formalisms, for example, Petri nets, as well as the possible use of Event Structures as the theoretical foundation for Process Mining basic operations.