• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
21 октября 2026 г.
Ученые НИУ ВШЭ систематизировали методы защиты изображений
Исследователи МИЭМ ВШЭ проанализировали схемы полухрупких цифровых водяных знаков для изображений, опубликованные за последние десять лет. Такие водяные знаки сохраняются при обычном сжатии или изменении яркости, но выдают подделку, если в снимок добавили объект или заменили лицо. Авторы предложили классификацию этих схем и выделили главные нерешенные проблемы. Результаты опубликованы в журнале Computer Science Review.
20 октября 2026 г.
«Наши работы можно назвать исследованиями на переднем крае науки»
Международная лаборатория кластерной геометрии, действующая на факультете математики НИУ ВШЭ, занимается формированием новой научной дисциплины, соединяющей в себе знания из различных областей математики. Выполненные в ней работы вызывают большой интерес, в том числе у зарубежных коллег. Лаборатория изучает семейства кривых и разрабатывает методы, применяемые в исследованиях физического микромира. Новостная служба «Вышка.Главное» побеседовала с заведующим лабораторией профессором Сергеем Ландо.
20 октября 2026 г.
За гранью возможного: в Вышке прошел финал IX сезона «Научных боев»
В конце сентября в Центре культур НИУ ВШЭ прошел финал IX сезона «Научных боев» с заглавной темой «За гранью возможного». Исследователи представили четыре работы. На каждое выступление отводилось по десять минут, после чего участники отвечали на вопросы жюри и зрителей. Спикеры искали границы между человеком и искусственным интеллектом, цифровой платформой и ее пользователями, государством и социальной инфраструктурой, а также между тем, как общество определяет человека, и тем, как он определяет себя сам.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

P. 1–23.
Bernardinello L., Irina Lomazova, Нестеров Р. А., Pomello L.
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: abstractionPetri netsrefinementtransformationsmorphisms
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Теоретическое и экспериментальное исследование методов построения, анализа и усовершенствования моделей процессов в информационных системах (2022)

В книге

Transactions on Petri Nets and Other Models of Concurrency XVI
Vol. 13220: Lecture Notes in Computer Science. , Springer, 2022.
Похожие публикации
Discovering object-centric Petri nets with parametric arcs
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
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 г.
Восток и Африка в трансформации современной реальности». Москва, РГГУ. 19 декабря 2023 г.
М.: Издатель Александр Воробьев, 2024.
В монографию включены материалы Международной научной конференции «Восток и Африка в трансформации современной реальности», прошедшей в Москве, в Российском государственном гуманитарном университете 19 декабря 2023 года. Сборник включает статьи ведущих специалистов, аспирантов и магистров по востоковедческой проблематике и африканистике. Подборка докладов демонстрирует многообразие исследовательских направлений представленной области знаний, активно развиваемых в ведущих научно-образовательных организациях России ...
Добавлено: 3 ноября 2024 г.
Methodology of Classical Political Economy:Interpretation from 19th Century Russia
Галеев А. В., / NRU Higher School of Economics. Series WP BRP "Economics/EC". 2024. No. 270/EC/2024.
Добавлено: 2 ноября 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 г.
Intertextuality as a Driver of Multimodal Creativity in Political Advertising
Baranova M., Svetlana Yu. Pavlina, Journal of Siberian Federal University. Series: Humanities & Social Sciences 2024 Vol. 17 No. 5 P. 950–962
Статья посвящена креативному использованию интертекстуальных компонентов в мультимодальном дискурсе. В частности, исследуется применение интертекстуальности в процессе создания авторского посыла в тесте политического плаката. Материалом послужили англоязычные тексты предвыборной рекламы, которые рассматриваются как семиотически осложненные тексты, вербальные и невербальные компоненты которых содержат отсылки к созданным ранее текстам. Цель заключается в выявлении специфики креативного использования вербальных и ...
Добавлено: 15 мая 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 г.
Typed Petri Nets with Variable Arc Weights
Ломазова И. А., Мицюк А. А., 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 г.
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations
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 г.
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Bernardinello L., Irina Lomazova, Roman Nesterov и др., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
Добавлено: 8 июня 2023 г.
On images of affine spaces
Аржанцев И. В., Indagationes Mathematicae 2023 Vol. 34 No. 4 P. 812–819
Добавлено: 24 мая 2023 г.
Architecture of a software system for designing robust business processes
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Soundness in Object-centric Workflow Petri Nets
Ломазова И. А., Мицюк А. А., Rivkin A., / Series Computer Science "arxiv.org". 2021.
Добавлено: 14 октября 2022 г.
«У нас не автоматическая станция»: фильтры технического воображения в поэзии Генриха Сапгира и Игоря Холина
Анна Родионова, Новое литературное обозрение 2022 № 176 С. 254–269
В статье рассматриваются поэтические тексты двух авторов «Лианозовской школы» (Игоря Холина и Генриха Сапгира), написанные в 1950-х — начале 1960-х годов, в связи с идеологией научно-технического прогресса (НТП) и её влиянием на эстетическую систему русской литературы XX века. В представленной работе анализируется, как именно в стихотворениях Сапгира и Холина особенности литературы первых десятилетий XX века, ...
Добавлено: 6 июня 2022 г.
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.
Transactions on Petri Nets and Other Models of Concurrency XVI
Springer, 2022.
Добавлено: 23 марта 2022 г.
Modeling MOOC learnflow with Petri net extensions
Ломазова И. А., Мицюк А. А., Шарипова А. М., / Series Computer Science "arxiv.org". 2021.
Добавлено: 2 декабря 2021 г.
Bipartite graphs as polynomials and polynomials as bipartite graphs
Grinblat A., Лопаткин В. Е., Journal of Algebra and its Applications 2020 Vol. 20 No. 5 Article 2150083
Добавлено: 27 сентября 2021 г.
Generation of Petri Nets Using Structural Property-Preserving Transformations
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 г.
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
Карраскель Г. Х., Mecheraoui K., Modeling and Analysis of Information Systems 2021 Vol. 28 No. 2 P. 146–168
Методы проверки соответствия позволяют установить, в какой степени реальная система, поведение которой регистрируется в журнале событий, соответствует ее модели, например, в виде сети Петри. Большинство таких методов направлены на проверку изолированных экземпляров процесса и игнорируют взаимодействие между экземплярами в системе. Для преодоления этого ограничения в области интеллектуального анализа данных был предложен ряд объектно-ориентированных подходов. Эти ...
Добавлено: 21 июня 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору