Семинар лаборатории ПОИС: Системы функциональных уравнений счетнозначной логики // И.С. Калинина
На очередном заседании нашего семинара выступила аспирантка научного руководителя профессора Марченкова Сергея Серафимовича с ВМК МГУ, кафедра МК, Калинина Инна Сергеевна. Тема её доклада: Системы функциональных уравнений счетнозначной логики.
Научный проект Лаборатории ПОИС выиграл конкурс РФФИ
Проект "Синтез высокоуровневых моделей бизнес-процессов", в котором участвуют студенты и сотрудники Лаборатории ПОИС, был поддержан Российским Фондом Фундаментальных Исследований (РФФИ).В этом году проект "Синтез высокоуровневых моделей бизнес-процессов", выполняемый молодыми исследователями под руководством старшего научного сотрудника Лаборатории ПОИС Каленковой А.А., выиграл конкурс проектов и получил поддержку РФФИ.
Семинар лаборатории ПОИС: 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.
Сергей рассказал о различных подходах к сравнению моделей бизнес-процессов, а также показал новый композиционный подход, разрабатываемый им в данный момент.
Семинар лаборатории ПОИС: стажеры Евгений Мистюков и Иван Шугуров
На очередном заседании научного семинара нашей лаборатории еще два стажера представили свои работы.
Тема доклада Евгения Мистюкова: Log-based transition system recovery. Иван Шугуров представил доклад по теме: GENA: Generator of artificial event logs. Current state of work.
Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина
В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.