Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Val. 2651

?

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020.

Научный редактор: M. Köhler-Bussmeier, E. Kindler, H. Rölke

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49–67.

Добавлено: 12 августа 2020 г.

Modeling Trading Systems using Petri Net Extensions

Карраскель Г. Х., Ломазова И. А., Rivkin A., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 118–137.

Добавлено: 19 октября 2020 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

Ключевые слова: verification software engineering Petri nets process mining

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere

Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028

Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...

Добавлено: 17 февраля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / 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 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation

Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.

Добавлено: 3 октября 2025 г.

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 г.

Подготовка специалистов по разработке компьютерных игр

Лебедев С. А., Максименкова О. В., Поздняков Д. А., В кн.: Текущие вызовы в подготовке кадров. Обучение специалистов по современным направлениям информационных технологий, кибербезопасности и ИКТ-электроники, актуальным для экономики данных: сборник научных трудов.: Тверь: Издательство Тверского государственного университета, 2024. С. 106–108.

В докладе рассмотрены вопросы подготовки специалистов в области разработки компьютерных игр. Авторы анализируют мировой и общероссийский образовательный ландшафт указанного направления и обсуждают опыт выстраивания системной подготовки в рамках образовательной программы высшего образования по направлению подготовки «Программная инженерия». Дополнительно рассмотрены вопросы научных и прикладных проектов, связанных с областью разработки компьютерных игр, а также их взаимовлияние друг ...

Добавлено: 20 февраля 2025 г.

Использование анализа данных для оптимизации учебного процесса: оценка студентами интересности и полезности деловых игр

Мустафина Н. И., Плаксин М. А., В кн.: BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей X Международной научно-практической конференции в двух частях, Часть 1 (Республика Беларусь, Минск, 13 марта 2024 года).: Мн.: БГУИР, 2024. С. 457–469.

Добавлено: 18 февраля 2025 г.

Four-dimensional ACC analysis

Mustafina N. I., Плаксин М. А., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58

В статье обсуждаются вопросы планирования и управления ресурсами в процессе тестирования программных систем. В работе представлен метод анализа ACC, используемый в Google для оптимизации распределения усилий по тестированию различных частей системы. Расширение метода путем добавления четвертой характеристики - актеров (роли пользователей системы) позволяет более гибко оценивать требования к действиям и уровни навыков пользователей. Иллюстративные примеры атрибутов и компонентов системы ...

Добавлено: 17 февраля 2025 г.

Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling

Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239

В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...

Добавлено: 10 декабря 2024 г.

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 г.

Hardware-Software Complex for Prototyping NoCs Using a Few FPGA Chips

Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.

Добавлено: 13 июня 2024 г.

IT Crisisology Models: Object-Based Optimization for Sustainable Development

Sergey V. Zykov, Singapore: Springer, 2024.

Добавлено: 10 марта 2024 г.

Отношение студентов программистских специальностей к включению в учебный процесс компьютерных тренажеров и деловых игр

Мустафина Н. И., Плаксин М. А., Афанасье Н. В., Современные информационные технологии и ИТ-образование 2023 Т. 19 № 1 С. 189–200

В подготовке студентов программистских специальностей важную роль играет знакомство с современными технологиями разработки программных систем. При их изучении лекционно-семинарских занятий недостаточно. Требуется подкрепление их практикой. Но, во-первых, организовать для всех студентов практику в реальных фирмах невозможно, во-вторых, цели производственного процесса отличаются от целей учебного. Поэтому вместо реальной практики в учебном процессе нескольких компьютерных специальностей двух ...

Добавлено: 29 февраля 2024 г.

ДЕЛОВЫЕ ИГРЫ ПРИ ОБУЧЕНИИ COMPUTER SCIENCE

Плаксин М. А., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023. С. 735–740.

Рассматривается роль деловых игр в учебном процессе. Деловые игры позволяют дешево и быстро получить практический опыт, продемонстрировать смысл теоретических понятий. По сравнению с реальным производственным процессом деловые игры позволяют повторить учебные действия многократно, рассмотреть возможные отклонения от нормы, чрезвычайные ситуации. Описывается применение деловых игр в учебном процессе студентов компьютерных специальностей: учебные судебные процессы, проводящиеся при ...

Добавлено: 29 февраля 2024 г.

Отношение студентов к применению деловых игр и компьютерных симуляторов в изучении программной инженерии. сравнение Пермского госуниверситета и Пермского филиала Высшей школы экономики

Мустафина Н. И., Плаксин М. А., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 83–88.

Исследовано отношение студентов ряда компьютерных специальностей двух вузов (Пермского госуниверситета и Пермского филиала Высшей школы экономики) к применению деловых игр и компьютерных симуляторов в ходе изучения программной инженерии. Форма деловой игры оценивается всеми студентами как интересная и полезная, превосходящая по эффективности традиционные лекционно-практические занятия, заслуживающая более широкого применения. В оценке студентами разных вузов одних и ...

Добавлено: 29 февраля 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 г.