Семинар лаборатории ПОИС: «О задаче сокращения систем переходов в извлечении и анализе моделей процессов» // С. Шершаков
На очередном заседании нашего семинара выступил научный сотрудник лаборатории Шершаков Сергей. Тема его доклада: О задаче сокращения систем переходов в извлечении и анализе моделей процессов.
Семинар лаборатории ПОИС: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка // А.А. Каленкова
На очередном заседании нашего семинара выступила старший научный сотрудник лаборатории Каленкова Анна Алексеевна. Тема её доклада: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка.
Семинар лаборатории ПОИС: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами // В.А. Захаров
На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Захаров Владимир Анатольевич. Тема его доклада: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами.
Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 2 // Л. Дворянский
На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 2.
Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 1 // Л. Дворянский
На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 1.
Семинар лаборатории ПОИС: Методология создания исполняемой модели и системы управления бизнес-процессами // И.Г. Фёдоров
На очередном заседании нашего семинара выступил кандидат технических наук, профессор МЭСИ Игорь Григорьевич Фёдоров. Он рассказал о своей работе: «Методология создания исполняемой модели и системы управления бизнес-процессами» и уделил максимальное внимание 2-м вопросам:
1. Онтологии Бунге-Ванда-Вебера. Она позволяет определить, что есть полная модель процесса.
2. Методу проверки бездефектной завершаемости процесса.
Семинар лаборатории ПОИС: Comparing business models using graph-edit distance // С. Иванов
На очередном заседании нашего семинара выступил стажер-исследователь лаборатории ПОИС, студент 4-го курса Сергей Иванов. Тема его доклада: Comparing business models using graph-edit distance.
Сергей рассказал о различных подходах к сравнению моделей бизнес-процессов, а также показал новый композиционный подход, разрабатываемый им в данный момент.