Семинар лаборатории ПОИС: Modeling is not Just for Supermodels // M. Westergaard

В понедельник, 18 марта, состоялось очередное заседание научного семинара Лаборатории.

Был заслушан доклад ведущего научного сотрудника МЛПОИС Майкла Вестергаарда (Michael Westergaard) по теме: Modeling is not Just for Supermodels.

Докладчик осветил современные подходы к моделированию систем с использованием сетей Петри и других формализмов.
Были рассмотрены вызовы, стоящие перед сообществом исследователей, новые задачи и подходы к моделированию.

Abstract:    
In this talk, I'll present some of the things I have been working on. I will focus on the three areas imperative modeling. For each area I'll give a brief overview and present some of the current developments and challenges. I'll then tie the three areas together and discuss challenges and advantages of the unification. The talk is intended to be high-level and non-technical. I'll focus on examples to illustrate concepts, but knowledge of (colored) Petri nets and Declare is an advantage.using colored Petri nets, declarative modeling using Declare, and using process mining to provide operational support.