?
A Method to Improve Workflow Net Decomposition for Process Model Repair
Ch. 37. P. 411-423.
Semyon E. Tikhonov, Мицюк А. А.
Ключевые слова: сети Петриworkflow netsжурналы событийevent logsProcess model repairИсправление моделей процессов
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Springer, 2019
Бегичева А. К., Ломазова И. А., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 3 P. 392-403
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, ...
Добавлено: 5 августа 2015 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 459-480
В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректировки модели можно использовать информацию из журнала событий системы. Журналы событий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или ...
Добавлено: 28 августа 2017 г.
Мицюк А. А., Шугуров И. С., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Извлечение процессов (process mining) -- новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов -- синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 20 октября 2014 г.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.
Pavel Pertsukhov, Мицюк А. А., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 151-162
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами ...
Добавлено: 14 октября 2019 г.
Лядова Л. Н., Платунов А. И., Информатизация и связь 2024 № 1 С. 84-89
Резюме. Цель проекта – разработка средств генерации и предобработки журналов событий для анализа процессов с помощью методов Process Mining. Подход к реализации основан на принципах low-code. Пользователи должны иметь возможность разрабатывать собственные правила формирования и обработки журналов событий, включающих дополнительные атрибуты, – событийных рядов. В основе – многоаспектная онтология, включающая описания правил (функций) и данных. ...
Добавлено: 19 января 2024 г.
Бегичева А. К., Ломазова И. А., Нестеров Р. А., / Cornell University. Series Computer Science "arxiv.org". 2023.
Добавлено: 31 марта 2023 г.
Платунов А. И., Лядова Л. Н., В кн. : ТЕХНОЛОГИИ РАЗРАБОТКИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ (ТРИС-2023): материалы конференции. : Таганрог : Издательство ЮФУ, 2023. С. 113-122.
Цель проекта – разработка средств генерации и обработки журналов событий с использованием дополнительных атрибутов для анализа процессов с помощью средств Process Mining. Реализация основана на принципах low-code. Это обеспечивает пользователей, не владеющих навыками программирования, возможностью разрабатывать собственные правила обработки данных для формирования и предобработки журналов событий с дополнительными атрибутами. Ядро системы – многоаспектная онтология, включающая ...
Добавлено: 16 декабря 2023 г.
Мицюк А. А., , in : Proceedings of the 2017 Ivannikov ISPRAS Open Conference. : Los Alamitos : IEEE Computer Society, 2017. Ch. 2. P. 6-11.
Добавлено: 20 февраля 2018 г.
Брейман А. Д., Богословский Е. М., Прикаспийский журнал: управление и высокие технологии 2014 № 2 (26) С. 127-137
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан ...
Добавлено: 27 февраля 2014 г.
Кончагин А. М., Каленкова А. А., , in : Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected Papers. Vol. 10716.: Cham : Springer, 2018. P. 371-377.
В этой статье представлен метод поиска подтрасс в логах событий информационнных сиситем. Предложенный метод основан на использовании алгоритма Ахо-Корасик и является его расширением для одновременного поиска в нескольких трассах лога событий. Нами была проведена оценка вычислительной стложности алгоритма. Кроме того, предлагаемый подход был реализован и протестирован на реальных логах событий информационных систем. Было показано, что ...
Добавлено: 11 октября 2017 г.
Vladimir A. Bashkin, Irina A. Lomazova, Transactions on Petri Nets and Other Models of Concurrency 2014 Vol. 9 P. 1-18
A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. Neither the intermediate nor final resource markings are constrained, hence a net can have an infinite number of different reachable states. An RWF-net with k tokens in the ...
Добавлено: 7 декабря 2014 г.
Шаимов Н. Д., Ломазова И. А., Мицюк А. А. и др., Моделирование и анализ информационных систем 2022 Т. 29 № 4 С. 286-314
Современный образовательный процесс предполагает использование электронных образовательных сред. Это специальные информационные системы, которые являются как средством для хранения учебных материалов, так и инструментом для проведения проверочных работ, сбора домашних заданий, ведения журнала оценок, совместной работы. Такие среды производят большое количество данных о поведении учащихся и преподавателей в рамках учебного процесса. В данной работе предлагается подход, ...
Добавлено: 14 октября 2022 г.
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, 2023. Vol. 2: KEOD.: Lisbon : SciTePress, 2023. P. 323-330.
Добавлено: 22 ноября 2023 г.
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 г.
Кулагин В. П., Дубинин В. Н., Информационные технологии 2016 Т. 22 № 1 С. 3-13
Предложен новый формализм — структуры сетей Петри (СП-структуры), предназначенный для исследования моделей сложных систем. Структурами, или решетками, называются частично упорядоченные множества, в которых для любых двух элементов существует точная нижняя и точная верхняя грани. В данной работе используется термин "структура". Введены операции преобразования сетей Петри (СП), предназначенные для анализа и синтеза новых СП-структур. Показано, что ...
Добавлено: 25 февраля 2016 г.
Царегородцев А. В., Дербин Е. А., Мухин И. Н., Информация и безопасность 2015 Т. 18 № 3 С. 408-411
Использование облачных вычислений при построении ИТ-инфраструктуры организации подразумевает отказ организации от прямого контроля над аспектами безопасности. Возникает необходимость в решении задачи обеспечения конфиденциальности данных при проектировании архитектуры, основанной на технологии облачных вычислений. В статье рассматривается метод моделирования процесса обработки данных с помощью сетей Петри на основании требований политики безопасности организации, позволяющий получить важную информацию о ...
Добавлено: 15 марта 2016 г.
Ломазова И. А., Fundamenta Informaticae 2010 Vol. 101 No. 1-2 P. 59-70
О взаимодействии документооборота сетей для рабочего процесса реинжиниринга. На примере сетей Петри. ...
Добавлено: 19 ноября 2012 г.
Дворянский Л. В., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175-190
Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого ...
Добавлено: 1 октября 2017 г.
Кулагин В. П., Информатизация образования и науки 2015 № 4(28) С. 133-147
В статье рассматриваются методы построения тензоров преобразования (ТП), применяемых при анализе и синтезе сетевых моделей сложных систем, представленных в различных системах координат. Рассмотрен общий метод построения ТП, а также метод построения ТП для сетевых моделей, представленных множеством автоматно- синхронизационных сетей и в виде примитивной системы. Показано, что сложность предложенных методов построения ТП линейна и определяется ...
Добавлено: 25 февраля 2016 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 709-723
Добавлено: 1 декабря 2017 г.
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 г.
Müller R., Stahl C., ван дер Аалст В. и др., , in : Service-Oriented Computing. Vol. 8274: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2013. P. 358-373.
Добавлено: 21 марта 2014 г.
Карраскель Г. Х., Chuburov S., Ломазова И. А., , in : Tools and Methods of Program Analysis. 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers. Vol. 1288: CCIS.: Springer, 2021. P. 88-100.
Добавлено: 19 октября 2020 г.