Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool

A. Rigin; Shershakov Sergey

doi:10.1007/978-3-030-72610-2_34

Публикации

?

Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool

P. 453–465.

Ригин А. М., Shershakov Sergey

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

DOI

Текст на другом сайте

Ключевые слова: Petri nets DB-nets Reference Nets Renew Tool Relational DBMS Persistent Data Software Modeling Software Validation

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Модели процессов: проверка соответствия наблюдаемому поведению, автоматический синтез и анализ поведенческих свойств (2021)

В книге

Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers

Vol. 12602. , Springer, 2021.

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

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

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

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

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

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

Method of Performance Analysis of Time-Critical Applications Using DB-Nets

Ригин А. М., Shershakov Sergey Andreevich, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 109–122

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

A Petri net extension for systems of concurrent communicating agents with durable actions

Mecheraoui K., Ломазова И. А., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23

Добавлено: 13 мая 2021 г.

Compositional conformance checking of nested petri nets and event logs of multi-agent systems

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

Checking Conformance between Colored Petri Nets and Event Logs

Карраскель Г. Х., Mecheraoui K., Ломазова И. А., , 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. 435–452.

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

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems

Mecheraoui K., Карраскель Г. Х., Ломазова И. А., / Series Computer Science "arxiv.org". 2020.

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

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