• 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
  • еще
Тематика
Новости
29 октября 2026 г.
Как прогнозировать будущее науки и технологий
Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.
27 октября 2026 г.
НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков
Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.

 

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