?
A Petri net extension for systems of concurrent communicating agents with durable actions
Journal of Parallel and Distributed Computing. 2021. Vol. 155. P. 14-23.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Бегичева А. К., Ломазова И. А., Нестеров Р. А., / Cornell University. Series Computer Science "arxiv.org". 2023.
Добавлено: 31 марта 2023 г.
Дворянский Л.В., Ломазова И.А., Моделирование и анализ информационных систем 2012 Т. 19 № 5 С. 115-130
Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets”, когда фишки в разметке сети сами являются сетями Петри и обладают автономным поведением, при этом имеются средства синхронизации сетевых фишек и системной сети. Фомализм NP-сетей позволяет естественным образом моделировать многоуровневые мультиагентные системы с динамической структурой. В настоящее время не существует инструментальной поддержки ...
Добавлено: 28 ноября 2012 г.
Мицюк А. А., Шугуров И. С., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Извлечение процессов (process mining) -- новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов -- синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 20 октября 2014 г.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Добавлено: 6 мая 2017 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
K.G. Serebrennikov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 163-174
Добавлено: 24 октября 2019 г.
Дворянский Л. В., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175-190
Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого ...
Добавлено: 1 октября 2017 г.
Ломазова И. А., Fundamenta Informaticae 2010 Vol. 101 No. 1-2 P. 59-70
О взаимодействии документооборота сетей для рабочего процесса реинжиниринга. На примере сетей Петри. ...
Добавлено: 19 ноября 2012 г.
Ломазова И. А., Мицюк А. А., Rivkin A., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 октября 2022 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 459-480
В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректировки модели можно использовать информацию из журнала событий системы. Журналы событий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или ...
Добавлено: 28 августа 2017 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
Добавлено: 2 февраля 2013 г.
N. S. Zubkova, S. A. Shershakov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 139-150
Добавлено: 28 октября 2019 г.
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Добавлено: 3 июля 2014 г.
Dordrecht, L., Heidelberg, NY : Springer, 2013
This volume constitutes the proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013). The Petri Net conferences serve as annual meeting places to discuss the progress in the field of Petri nets and related models of concurrency. They provide a forum for researchers to present and discuss both applications and ...
Добавлено: 3 ноября 2013 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Ломазова И. А., Romanov I., Fundamenta Informaticae 2013 Vol. 128 No. 1-2 P. 129-141
In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services—a necessary condition for the service compatibility. Resources, which ...
Добавлено: 18 ноября 2013 г.
Дворянский Л. В., Formal Methods in System Design (Нидерланды, целевой журнал) 2020
Вложенные сети Петри (NP-сети) - это формализм, удобный для моделирования систем, которые состоят из распределенных мобильных агентов с индивидуальным поведением. Выразительность формализма NP-сетей больше, чем у классических сетей Петри. Формализм позволяет моделировать открытые многоагентные системы с появлением, исчезновением, и клонированием агентов.
Несколько методов проверки, основанных на структурном анализе и методах проверки моделей, были
разработан для формализма. Но один из основных методов ...
Добавлено: 2 ноября 2019 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 709-723
Добавлено: 1 декабря 2017 г.
Ломазова И. А., Popova-Zeugmann L., Fundamenta Informaticae 2016 Vol. 143 No. 1-2 P. 101-112
Добавлено: 12 октября 2015 г.
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 г.
Царегородцев А. В., Дербин Е. А., Мухин И. Н., Информация и безопасность 2015 Т. 18 № 3 С. 408-411
Использование облачных вычислений при построении ИТ-инфраструктуры организации подразумевает отказ организации от прямого контроля над аспектами безопасности. Возникает необходимость в решении задачи обеспечения конфиденциальности данных при проектировании архитектуры, основанной на технологии облачных вычислений. В статье рассматривается метод моделирования процесса обработки данных с помощью сетей Петри на основании требований политики безопасности организации, позволяющий получить важную информацию о ...
Добавлено: 15 марта 2016 г.
Netherlands : Springer, 2017
Добавлено: 28 августа 2017 г.
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Добавлено: 27 июня 2016 г.