• 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
  • еще
Тематика
Новости
17 июня 2026 г.
Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией
Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.
17 июня 2026 г.
Интеллектуальная робототехника: кадровый голод и масса возможностей
Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.
17 июня 2026 г.
Каким должно быть образование, чтобы готовить кадры для экономики будущего
Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

 

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

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

?

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

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

В книге

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.
Похожие публикации
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 г.
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
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 г.
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору