?
Typed Petri Nets with Variable Arc Weights
P. 483–495.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 492. , Switzerland: Springer, 2024.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
Дацун Н. Н., Вестник Мининского университета 2025 Т. 13 № 1 Статья 2
Введение. Успешное освоение методологии объектно ориентированного моделирования бизнес-процессов требует от обучающихся «Бизнес-информатики» значительных временных затрат и усилий в практической деятельности. Как студенты этой специальности воспринимают диаграммы деятельности языка UML? Почему созданные ими модели содержат дефекты, которые снижают качество диаграмм? Зависит ли количество дефектов модели от уровня образования ее автора? Может ли сложность моделей влиять на их ...
Добавлено: 30 апреля 2025 г.
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 г.
Switzerland: Springer, 2024.
Добавлено: 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 г.
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Добавлено: 14 октября 2022 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.
Bernardinello L., Irina Lomazova, Нестеров Р. А. и др., , in: Transactions on Petri Nets and Other Models of Concurrency XVIVol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1–23.
Добавлено: 23 марта 2022 г.
Springer, 2022.
Добавлено: 23 марта 2022 г.
Добавлено: 2 декабря 2021 г.
Зараменских Е. П., Брускин С. Н., Горчаков Я. В. и др., М.: Национальный исследовательский университет "Высшая школа экономики", 2021.
Курсовой проект «Моделирование организации» является обязательным компонентом проектной и исследовательской работы, обеспечивающей подготовку бакалавров Высшей школы бизнеса НИУ ВШЭ по направлению 38.03.05 «Бизнес-информатика». Курсовой проект проводится в соответствии с утвержденными рабочими учебными планами образовательных программ бакалавриата в целях интеграции полученных ранее знаний, умений и навыков, а также приобретения прикладного, организационного и исследовательского опыта проектной деятельности. ...
Добавлено: 13 октября 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 г.
Mecheraoui K., Ломазова И. А., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23
Добавлено: 13 мая 2021 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34–45.
Добавлено: 14 января 2021 г.
Ригин А. М., Shershakov Sergey, , in: Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected PapersVol. 12602.: Springer, 2021. P. 453–465.
Добавлено: 26 ноября 2020 г.