• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Checking Conformance between Colored Petri Nets and Event Logs
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
25 сентября 2026 г.
«Климатический переход - это необязательно ограничение для бизнеса»
Линара Хадимуллина работает в сфере низкоуглеродного развития. В интервью проекту «Молодые ученые Вышки» она рассказала, почему природа для нее не просто красивый фон, зачем исследовать роль устойчивого корпоративного управления в снижении выбросов парниковых газов и как выращивание урожая становится источником вдохновения.
25 сентября 2026 г.
Окно в организм: российские ученые создали нейросеть, которая определяет риск заболеваний по глазам
Российские университеты с участием НИУ ВШЭ, Сбер и концерн ИИ Z-union разработали нейросеть, которая по фотографии сетчатки может одновременно оценивать риск 15 видов патологий, включая не только глазные болезни, но и сердечно-сосудистые заболевания. ИИ-система помогает врачу заметить тревожные изменения на ранней стадии, признаки, которые отражаются на состоянии сосудов сетчатки, и понять, нужно ли человеку пройти дополнительное обследование. Работа опубликована в журнале Frontiers in Medicine.
23 сентября 2026 г.
В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды
Инженеры и исследователи Института робототехнических систем НИУ ВШЭ провели первые испытания нейросетевой модели для распознавания среды непосредственно на роботе-собаке. Робот передвигался по зданию НИУ ВШЭ на Покровке, а также по Покровскому бульвару, анализируя окружающую обстановку и определяя, в какой сцене и локации он находится.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Checking Conformance between Colored Petri Nets and Event Logs

P. 435–452.
Карраскель Г. Х., Mecheraoui K., Ломазова И. А.
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: Petri netsprocess miningcolored Petri netstrading systems
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Модели процессов: проверка соответствия наблюдаемому поведению, автоматический синтез и анализ поведенческих свойств (2021)

В книге

Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers
Vol. 12602. , Springer, 2021.
Похожие публикации
Discovering object-centric Petri nets with parametric arcs
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
Merging Directly-Follows Graphs and Sankey Diagrams for Visualizing Acyclic Processes
Дерезовский И. Д., Шаимов Н. Д., Ломазова И. А. и др., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 4 P. 155–168
В данной статье предлагается метод визуализации моделей ациклических процессов, основанный на объединении графов непосредственного следования и диаграмм Санкей. Графы непосредственного следования - популярная графическая модель для визуализации моделей дискретных процессов, в то время как диаграммы Санкей используются для представления потоковых данных. Наш метод, основанный на потоковых диаграммах, позволяет выделять на общей модели отдельные экземпляры или группы экземпляров процесса. ...
Добавлено: 3 октября 2024 г.
Discovering hierarchical process models: an approach based on events partitioning
A. K. Begicheva, I. A. Lomazova, R. A. Nesterov, Modeling and Analysis of Information Systems 2024 Vol. 31 No. 3 P. 294–315
Process mining — это область компьютерных наук, которая занимается синтезом и анализом моделей процессов на основе автоматически генерируемых журналов событий. В настоящее время многие организации используют эту технологию для оптимизации и совершенствования бизнес-процессов. Однако синтезированная модель процесса может быть слишком подробной, сложной и трудной для понимания экспертами. В работе мы рассматриваем задачу синтеза иерархической модели ...
Добавлено: 14 сентября 2024 г.
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Julio C. Carrasquel, Irina A. Lomazova, , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 94–106.
Добавлено: 31 января 2024 г.
Разработка конструктора правил генерации и обработки событийных рядов
Лядова Л. Н., Платунов А. И., Информатизация и связь 2024 № 1 С. 84–89
Резюме. Цель проекта – разработка средств генерации и предобработки журналов событий для анализа процессов с помощью методов Process Mining. Подход к реализации основан на принципах low-code. Пользователи должны иметь возможность разрабатывать собственные правила формирования и обработки журналов событий, включающих дополнительные атрибуты, – событийных рядов. В основе – многоаспектная онтология, включающая описания правил (функций) и данных. ...
Добавлено: 19 января 2024 г.
Typed Petri Nets with Variable Arc Weights
Ломазова И. А., Мицюк А. А., Rivkin A., , in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected PapersVol. 492.: Switzerland: Springer, 2024. P. 483–495.
Добавлено: 17 января 2024 г.
Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers
Switzerland: Springer, 2024.
Добавлено: 17 января 2024 г.
РАЗРАБОТКА КОНСТРУКТОРА ЖУРНАЛОВ СОБЫТИЙ С ДОПОЛНИТЕЛЬНЫМИ АТРИБУТАМИ
Платунов А. И., Лядова Л. Н., В кн.: ТЕХНОЛОГИИ РАЗРАБОТКИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ (ТРИС-2023): материалы конференции.: Таганрог: Издательство ЮФУ, 2023. С. 113–122.
Цель проекта – разработка средств генерации и обработки журналов событий с использованием дополнительных атрибутов для анализа процессов с помощью средств Process Mining. Реализация основана на принципах low-code. Это обеспечивает пользователей, не владеющих навыками программирования, возможностью разрабатывать собственные правила обработки данных для формирования и предобработки журналов событий с дополнительными атрибутами. Ядро системы – многоаспектная онтология, включающая ...
Добавлено: 16 декабря 2023 г.
An Approach to Developing Ontology-Based Tools for Event Series Analysis
Anton Platunov, Lyudmila Lyadova, Matta N. и др., , in: IC3K 2023: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Volume 2: KEOD, Rome - Italy, November 13 - 15, 2023Vol. 2: KEOD.: Lisbon: SciTePress, 2023. P. 323–330.
Добавлено: 22 ноября 2023 г.
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32
Добавлено: 31 октября 2023 г.
Using Process Mining to Leverage the Development of a Family of Mobile Applications
L.А. Rezunik, A.I. Perevoznikova, D.V. Eremina и др., Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 171–186
Коммерческие предприятия часто предоставляют свои услуги с помощью семейства приложений, разработанных для работы на различных платформах. Приложения в таком семействе могут вести себя по-разному. Процессы их разработки также могут отличаться. Более того, современные процессы разработки часто сложны, а иногда и не вполне четко определены. Это может приводить к ошибкам, дефектам и нежелательным отличиям в поведении ...
Добавлено: 30 октября 2023 г.
Architecture of a software system for designing robust business processes
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Event Series Generation and Analysis Based on Multifaceted Ontology
Zayakin Viktor, Lyadova Lyudmila, Smirnov M. и др., , in: 2022 IEEE 16th International Conference on Application of Information and Communication Technologies (AICT).: Washington: IEEE, 2022. P. 1–6.
Добавлено: 29 октября 2022 г.
Soundness in Object-centric Workflow Petri Nets
Ломазова И. А., Мицюк А. А., Rivkin A., / Series Computer Science "arxiv.org". 2021.
Добавлено: 14 октября 2022 г.
Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды
Шаимов Н. Д., Ломазова И. А., Мицюк А. А. и др., Моделирование и анализ информационных систем 2022 Т. 29 № 4 С. 286–314
Современный образовательный процесс предполагает использование электронных образовательных сред. Это специальные информационные системы, которые являются как средством для хранения учебных материалов, так и инструментом для проведения проверочных работ, сбора домашних заданий, ведения журнала оценок, совместной работы. Такие среды производят большое количество данных о поведении учащихся и преподавателей в рамках учебного процесса. В данной работе предлагается подход, ...
Добавлено: 14 октября 2022 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору