?
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
Transactions on Petri Nets and Other Models of Concurrency. 2013. Vol. 8. P. 180–202.
Вестергаард М., Fahland D., Stahl C.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
Дерезовский И. Д., Шаимов Н. Д., Ломазова И. А. и др., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 4 P. 155–168
В данной статье предлагается метод визуализации моделей ациклических процессов,
основанный на объединении графов непосредственного следования и диаграмм Санкей. Графы
непосредственного следования - популярная графическая модель для визуализации моделей
дискретных процессов, в то время как диаграммы Санкей используются для представления потоковых данных. Наш метод, основанный на потоковых диаграммах, позволяет выделять на общей модели отдельные экземпляры или группы экземпляров процесса. ...
Добавлено: 3 октября 2024 г.
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 г.
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 г.
Ломазова И. А., Мицюк А. А., 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 г.
Switzerland: Springer, 2024.
Добавлено: 17 января 2024 г.
Платунов А. И., Лядова Л. Н., В кн.: ТЕХНОЛОГИИ РАЗРАБОТКИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ (ТРИС-2023): материалы конференции.: Таганрог: Издательство ЮФУ, 2023. С. 113–122.
Цель проекта – разработка средств генерации и обработки журналов событий с использованием дополнительных атрибутов для анализа процессов с помощью средств Process Mining. Реализация основана на принципах low-code. Это обеспечивает пользователей, не владеющих навыками программирования, возможностью разрабатывать собственные правила обработки данных для формирования и предобработки журналов событий с дополнительными атрибутами. Ядро системы – многоаспектная онтология, включающая ...
Добавлено: 16 декабря 2023 г.
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 г.
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 г.
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 г.
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
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 г.
Добавлено: 14 октября 2022 г.