?
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
P. 1–23.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 13220: Lecture Notes in Computer Science. , Springer, 2022.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
М.: Издатель Александр Воробьев, 2024.
В монографию включены материалы Международной научной конференции «Восток и Африка в трансформации современной реальности», прошедшей в Москве, в Российском государственном гуманитарном университете 19 декабря 2023 года. Сборник включает статьи ведущих специалистов, аспирантов и магистров по востоковедческой проблематике и африканистике. Подборка докладов демонстрирует многообразие исследовательских направлений представленной области знаний, активно развиваемых в ведущих научно-образовательных организациях России ...
Добавлено: 3 ноября 2024 г.
Галеев А. В., / NRU Higher School of Economics. Series WP BRP "Economics/EC". 2024. No. 270/EC/2024.
Добавлено: 2 ноября 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 г.
Baranova M., Svetlana Yu. Pavlina, Journal of Siberian Federal University. Series: Humanities & Social Sciences 2024 Vol. 17 No. 5 P. 950–962
Статья посвящена креативному использованию интертекстуальных компонентов в мультимодальном дискурсе. В частности, исследуется применение интертекстуальности в процессе создания авторского посыла в тесте политического плаката. Материалом послужили англоязычные тексты предвыборной рекламы, которые рассматриваются как семиотически осложненные тексты, вербальные и невербальные компоненты которых содержат отсылки к созданным ранее текстам. Цель заключается в выявлении специфики креативного использования вербальных и ...
Добавлено: 15 мая 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 г.
Ломазова И. А., Мицюк А. А., 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 г.
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 г.
Bernardinello L., Irina Lomazova, Roman Nesterov и др., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
Добавлено: 8 июня 2023 г.
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Добавлено: 14 октября 2022 г.
Анна Родионова, Новое литературное обозрение 2022 № 176 С. 254–269
В статье рассматриваются поэтические тексты двух авторов «Лианозовской школы» (Игоря Холина и Генриха Сапгира), написанные в 1950-х — начале 1960-х годов, в связи с идеологией научно-технического прогресса (НТП) и её влиянием на эстетическую систему русской литературы XX века. В представленной работе анализируется, как именно в стихотворениях Сапгира и Холина особенности литературы первых десятилетий XX века, ...
Добавлено: 6 июня 2022 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.
Springer, 2022.
Добавлено: 23 марта 2022 г.
Добавлено: 2 декабря 2021 г.
Grinblat A., Лопаткин В. Е., Journal of Algebra and its Applications 2020 Vol. 20 No. 5 Article 2150083
Добавлено: 27 сентября 2021 г.
R.A. Nesterov, S.Yu. Savelyev, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 155–170
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by ...
Добавлено: 9 августа 2021 г.
Карраскель Г. Х., Mecheraoui K., Modeling and Analysis of Information Systems 2021 Vol. 28 No. 2 P. 146–168
Методы проверки соответствия позволяют установить, в какой степени реальная система, поведение которой регистрируется в журнале событий, соответствует ее модели, например, в виде сети Петри. Большинство таких методов направлены на проверку изолированных экземпляров процесса и игнорируют взаимодействие между экземплярами в системе. Для преодоления этого ограничения в области интеллектуального анализа данных был предложен ряд объектно-ориентированных подходов. Эти ...
Добавлено: 21 июня 2021 г.