• 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, проведение научной и учебной деятельности с привлечением студентов, аспирантов и сотрудников Высшей школы экономики, разработка методик практического применения полученных научных результатов в конкретных областях экономики, информатики, менеджмента, государственного управления.


Семинар ПОИС: Арифметика Пресбургера

На очередном заседании нашего семинара выступил научный сотрудник лаборатории Владислав Подымов. Тема его доклада: «Арифметика Пресбургера»

Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции CoDIT 2017

Научно-учебная лаборатория ПОИС уже несколько лет тесно сотрудничает с Институтом информатики Университета им. Гумбольдта в Берлине в области моделирования и анализа процессов в распределенных системах с помощью сетей Петри. По результатам этой работы на конференции CoDIT 2017 (http://codit2017.com/), которая прошла 5–7 апреля в городе Барселона, Испания, был представлен совместный доклад заведующей лабораторией ПОИС Ирины Ломазовой, профессора университета им. Гумбольдта в Берлине Лушки Поповой-Цойгманн и студента магистратуры этого же университета Артура Бартелса.

Семинар ПОИС: BPI-Challenge 2012 — разбор решения

На очередном заседании нашего семинара выступили студенты бакалавриата ПИ ФКН Владислав Скоков, Александр Сапрыкин и Артём Фоменко. Тема их доклада: «BPI-Challenge 2012 — разбор решений»

Сотрудники лаборатории ПОИС представили свои работы на конференции TMPA

3–4 марта 2017 года в Москве прошла 4-ая международная научно-практическая конференция инструменты и методы анализа программ TMPA (http://tmpaconf.org/). На ней из лаборатории ПОИС выступили: научный сотрудник Алексей Мицюк и стажёр-исследователь Роман Нестеров

Семинар САЕ: Математика, компьютерные науки и информационные технологии

В МИЭМ НИУ ВШЭ прошел междисциплинарный семинар САЕ «Математика, компьютерные науки и информационные технологии» с участием научного сотрудника лаборатории ПОИС Алексея Мицюка. Цель семинара — обмен результатами исследований, проводимых в научных подразделениях нашей стратегической академической единицы, и выявлении перспективных междисциплинарных направлений. 

Семинар ПОИС: BPI-Challenge 2015 — разбор решения «Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement»

На очередном заседании нашего семинара выступили студенты ФКН Поваляева Елизавета и Александр Пластинин. Тема их доклада: «BPI-Challenge 2015 — разбор решения "Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement"»

Семинар ПОИС: Nested Petri Nets: behaviour analysis and time semantics

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС Леонид Дворянский. Тема его доклада: «Nested Petri Nets: behaviour analysis and time semantics»

Семинар ПОИС: BPI Challenge 2016 — разбор решения «Analyzing customer interactions at the Dutch Employee Insurance Agency»

На очередном заседании нашего семинара выступили студенты ФКН Ложков Антон, Пономарева Анастасия и Никитина Наталья. Тема их доклада: «BPI Challenge 2016 — разбор решения "Analyzing customer interactions at the Dutch Employee Insurance Agency"»

От динамического хаоса к Process Mining

Сергей Шершаков, выпускник магистратуры по специальности «Системная и программная инженерия» 2012 года и сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем рассказывает о науке и преподавании: что такое Process Mining, как сохранять актуальность своих знаний, не работая в индустрии, почему выпускникам Вышки не надо «забывать все, чему их учили» и многом другом.

Проект научного сотрудника лаборатории ПОИС получил поддержку Научного фонда

В конце 2016 года были подведены итоги осенних конкурсов Научного фонда НИУ ВШЭ. В число победителей конкурса индивидуальных исследовательских проектов вошёл проект старшего преподавателя Департамента программной инженерии, научного сотрудника НУЛ ПОИС Леонида Дворянского “Поведенческий анализ вложенных сетей Петри с помощью ловушек и сифонов (ко-ловушек)”.