• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Публикации
Статья
Generating Event Logs for High-Level Process Models

Mitsyuk A. A., Shugurov I., Kalenkova A. A. et al.

Simulation Modelling Practice and Theory. 2017. Vol. 74. P. 1-16.

Статья
Equivalence Checking Problem for Finite State Transducers

Zakharov V.A.

Lecture Notes in Computer Science. 2015. Vol. 9270. P. 208-221.

Статья
Controlling Petri Net Behavior using Priorities for Transitions

Lomazova I. A., Popova-Zeugmann L.

Fundamenta Informaticae. 2016. Vol. 143. No. 1-2. P. 101-112.

Статья
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Vladislav Podymov.

Fundamenta Informaticae. 2016. Vol. 147. No. 2-3. P. 315-336.

Лаборатория основана в январе 2013-го года и является подразделением факультета компьютерных наук НИУ ВШЭ.  Мы исследуем различные аспекты функционирования процессно-ориентированных информационных систем. Примерами ПОИС являются системы управления бизнес процессами (BPM), системы управления потоками работ (WFM), системы планирования ресурсов предприятия (ERP), а также системы обработки прецедентов (case handling). Мы разрабатываем новые методы и подходы моделирования, анализа и проектирования таких систем. Основные задачи лаборатории – исследования в области Process Mining, проведение научной и учебной деятельности с привлечением студентов, аспирантов и сотрудников Высшей школы экономики, разработка методик практического применения полученных научных результатов в конкретных областях экономики, информатики, менеджмента, государственного управления.


Семинар лаборатории ПОИС: "DB-nets: о браке между раскрашенными сетями Петри и реляционными базами данных". Докладчик - Андрей Ривкин, Свободный университет Боцен-Больцано, Италия

23 апреля в рамках семинара лаборатории выступил сотрудник свободного университета Боцен-Больцано Андрей Ривкин, Phd, с докладом на тему "DB-nets: о браке между раскрашенными сетями Петри и реляционными базами данных".

Иллюстрация к новости: Стажеры лаборатории ПОИС стали лауреатами стипендии имени Ильи Сегаловича

Стажеры лаборатории ПОИС стали лауреатами стипендии имени Ильи Сегаловича

На факультете компьютерных наук ВШЭ состоялось традиционное вручение стипендий имени Ильи Сегаловича, приуроченное к Дням компьютерных наук и дню рождения факультета. Под саундтрек из фильма «Звездные войны» лауреатами стипендии стали 16 бакалавров, магистров и аспирантов факультета среди которых оказались Наталья Зубкова и Тимофей Шунин.

Семинар ПОИС: Симуляция моделей процессов для мультиагентных систем

26 февраля в рамках семинара лаборатории выступил Нестеров Роман, стажёр-исследователь ЛПОИС ФКН, с докладом на тему «Симуляция моделей процессов для мультиагентных систем».

Семинар ПОИС: «VTMine for Visio» для задач Process Mining

19 февраля в рамках семинара лаборатории выступил Шершаков Сергей Андреевич, научный сотрудник ЛПОИС ФКН, с докладом на тему "«VTMine for Visio» для задач Process Mining"

Семинар ПОИС: Паттерны интерфейсов для композицонного синтеза моделей мультиагентных систем по журналам событий

15 января в рамках семинара лаборатории выступил Нестеров Роман Александрович, аспирант ФКН, с докладом на тему «Паттерны интерфейсов для композицонного синтеза моделей мультиагентных систем по журналам событий».

Сотрудники лаборатории ПОИС выиграли грант Президента для молодых ученых

Доцент Департамента программной инженерии, старший научный сотрудник лаборатории процессно-ориентированных информационных систем Анна Каленкова получила президентский грант, став победителем конкурса молодых российских ученых-кандидатов наук 2018.

Семинар лаборатории ПОИС: Знаковые модели обучения при коллективном планировании

14 дкабря в рамках семинара лаборатории выступит Александр Панов, научный сотрудник ПОИС, с докладом на тему «Знаковые модели обучения при коллективном планировании»

Семинар ПОИС: Проверка соответствия между моделью и логом с использованием структур событий

11 дкабря в рамках семинара лаборатории выступил Кирилл Артамонов, студент магистратуры ПИ, с докладом на тему «Проверка соответствия между моделью и логом с использованием структур событий».

Семинар ПОИС: Извлечение моделей процессов из логов событий информационных систем, докладчик — Андреа Бураттин

27 ноября в рамках семинара лаборатории Андреа Бураттин — доцент Технического Университета Дании, провел мастер-класс по извлечению моделей процессов из логов событий информационных систем. 

Выступление ПОИС на лабораторной ФКН

14 ноября состоялась Лабораторная ФКН, в рамках которой старший научный сотрудник Анна Каленкова рассказала об итогах своей работы по извлечению BPMN моделей