Семинар лаборатории ПОИС: Event Structures: Yet Another Process Model

На очередном заседании нашего семинара выступил Ринат Юсупов, магистрант 4 курса НИУ ВШЭ. Тема его доклада: «Event Structures: Yet Another Process Model»

Аннотация:

Event Structure представляют собой хорошо изученный математический объект, который оказался полезен для представления моделей параллельных процессов. Впервые Event Structures упоминаются в работах авторов G. Kahn и G. Plotkin в связи с их исследованием фундаментальных вопросов денотационной семантики. В докладе будет рассказано о различных видах Event Structures, их связи с другими формализмами, например, такими как сети Петри, а также о возможном применении Event Structures как теоретического фундамента для основных операций Process Mining.