?
Towards a Translation from Nested Petri Nets into Colored Petri Nets
P. 55-63.
Дворянский Л. В., Ломазова И. А.
Вложенные сети Петри (NP-nets) это сети Петри с сетевыми фишками. NP-nets являются расширением сетей Петри высокого уровня для моделирования активных объектов, мобильности и динамики в распределенных системах. В этой работе мы представляет алгоритм перевода двухуровневых NP-nets в поведенчески эквивалентную цветную сеть Петри, с целью применения методов и инструментов цветных сетей Петри для анализа NP-nets. Мы доказываем, что предложенная трансляция сохраняет динамическую семантику, с точностью до бисимуляционной эквивалентности.
Язык:
английский
Ключевые слова: simulationtranslationnested Petri netsвложенные сети Петриcoloured Petri netsтрансляциясимуляцияраскрашенные сети Петри
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Program Semantics, Specification and Verification: Theory and Applications. The conference materials
Nizhny Novgorod : Nizhny Novgorod State University, 2012
Дворянский Л. В., Фрумин Д. И., , in : Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. : Perm : -, 2012. P. 122-127.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In ...
Добавлено: 20 сентября 2012 г.
Дворянский Л.В., Ломазова И.А., Моделирование и анализ информационных систем 2012 Т. 19 № 5 С. 115-130
Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets”, когда фишки в разметке сети сами являются сетями Петри и обладают автономным поведением, при этом имеются средства синхронизации сетевых фишек и системной сети. Фомализм NP-сетей позволяет естественным образом моделировать многоуровневые мультиагентные системы с динамической структурой. В настоящее время не существует инструментальной поддержки ...
Добавлено: 28 ноября 2012 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Дворянский Л. В., Ломазова И. А., , in : Application and Theory of Petri Nets and Concurrency. 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Vol. 9698: Lecture Notes in Computer Science.: Switzerland : Springer, 2016. P. 325-344.
Добавлено: 11 июня 2016 г.
Дворянский Л. В., Ломазова И. А., Automatic Control and Computer Sciences 2013 Vol. 47 No. 7 P. 393-402
Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multilevel multiagent systems with dynamic structure in a natural way. Currently there is no tool support ...
Добавлено: 10 декабря 2013 г.
Карпенко И. А., Праксема. Проблемы визуальной семиотики 2023 № 3(37) С. 142-158
Статья посвящена анализу проблемы виртуальной реальности – того, что и на каких основаниях можно считать виртуальной реальностью, как она воспринимается и может интерпретироваться. Исследование опирается на гипотетико-дедуктивный метод, используется сравнительный и герменевтический анализ. Исходя из ряда гипотез о фундаментальной реальности, делаются выводы о её наличном статусе и визуальных характеристиках. Так, при допущении многомировой интерпретации квантовой механики ...
Добавлено: 28 марта 2023 г.
Дворянский Л. В., Ломазова И. А., , in : Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia. : Yaroslavl : Yaroslavl State University, 2011. P. 27-34.
Nested Petri nets (NP-nets) are Petri nets with net tokens. The liveness and boundedness problems are undecidable for two-level Nested Petri nets (NP-nets). Boundedness and liveness are still very hard to check even for plain Petri nets (EXPSPACE or worse). For the restricted class of free-choice Petri nets some problems become more amenable to analysis. ...
Добавлено: 23 марта 2013 г.
Бучина Н. Г., Дворянский Л. В., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 15-18.
В данной работе был разработан подход к графическому моделированию и имитационному моделированию беспроводных сенсорных сетей (WSN) с помощью трансляции во вложенные сети Петри (NP-сети). Инструмент графического моделирования позволяет построить модель беспроводной сенсорной сети с учетом топологии анализируемой или проектируемой беспроводной сенсорной сети.
На основе построенной модели генерируется поведенчески эквивалентная вложенная сеть Петри.
Маршрутизация в беспроводной сенсорной сети между узлами-сенсорами и рабочей станцией WSN реализована
с использованием алгоритма ...
Добавлено: 4 июля 2013 г.
Поселягин Н. В., Новое литературное обозрение 2023 Т. 182 № 4 С. 48-60
В статье рассматривается риторическая сторона популярного в последние годы феномена «постправда». На мой взгляд, постправду можно рассматривать как практическое следствие социального явления, описанного Жаном Бодрийяром: когда медиапространство, в которое мы погружены, не дает нам возможности отличить реальность от симуляции, реально произошедшего события и действительного факта – от симулякра, то для оценки поступающей информации мы начинаем ...
Добавлено: 20 сентября 2023 г.
Самохвалов Д. И., Дворянский Л. В., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 65-84
Вложенные сети Петри – это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне. Мультиагентные системы находят применение во многих областях – начиная системами, для которых безопасность играет критическую роль, заканчивая ...
Добавлено: 15 сентября 2016 г.
Дворянский Л. В., Ломазова И. А., Programming and Computer Software 2016 Vol. 42 No. 5 P. 292-306
Multi-level multi-agent systems (MASs) with dynamic structure are widely used in solving important applied problems in telecommunication, transportation, social, and other systems. Therefore, ensuring correct behavior of such systems is an actual and important task. One of the most error-prone stages of system development in the framework of model-oriented approach is the implementation stage, in ...
Добавлено: 27 сентября 2016 г.
Баженова О. Д., Человек в социокультурном измерении 2023 № 2 С. 48-54
Важным методологическим приемом в изучении белорусского искусства является межкультурный, или кросскультурный, диалог. С помощью данного подхода можно увидеть диалогическую границу между культурами разных стран и объяснить варианты адаптации зарубежной стилистики в искусстве как Беларуси, так и стран Восточной и Западной Европы. Постановка данной проблемы позволяет понять степень и уровни восприятия искусства, связанные с разными страноведческими особенностями ...
Добавлено: 22 ноября 2023 г.
Захаров В. А., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
Добавлено: 12 октября 2015 г.
Дворянский Л. В., , in : Formal Modeling and Analysis of Timed Systems. Vol. 9884.: Switzerland : Springer, 2016. Ch. 1. P. 3-18.
Добавлено: 13 сентября 2016 г.
Дворянский Л. В., Фрумин Д. И., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 9-14.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый ...
Добавлено: 18 июня 2013 г.
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 г.
Pavel Pertsukhov, Мицюк А. А., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 151-162
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами ...
Добавлено: 14 октября 2019 г.
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49-67
Mногоуровневые мультиагентные системы (МАС) с динамической структурой широко используют- ся при решении важных прикладных задач в телекоммуникационных, транспортных, социальных и других системах. Поэтому обеспечение корректности таких систем является актуальной и значимой задачей. Одним из самых уязвимых для ошибок этапов разработки системы в рамках модельно- ориентированного подхода является этап реализации, на котором по разработанной модели строит- ...
Добавлено: 4 декабря 2015 г.
Мицюк А. А., Котылев Я. В., , in : Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. Vol. 779: Communications in Computer and Information Science.: Springer, 2018. Ch. 11. P. 127-138.
Добавлено: 30 января 2018 г.
Бацын М. В., Бацына Е. К., Business Informatics 2012 Vol. 4 No. 22 P. 69-75
В данной работе мы рассматриваем задачу определения оптимального эксцедентного перестрахования, которое максимизирует надежность (вероятность неразорения) страховой компании. Мы используем два приближенных подхода для вычисления распределения суммарных выплат. Первый подход основан на нормальной аппроксимации распределения выплат. Используя эту аппроксимацию, мы вывели интегральное на оптимальный уровень собственного удержания. Второй подход основан на методах имитационного моделирования. Для тестирования ...
Добавлено: 21 февраля 2013 г.
Преображенская А. А., В кн. : Переводчики и переводы в России конца XVI - начала XVIII столетия. Материалы международной научной конференции. Москва, 12-13 сентября 2019 г. : М. : Институт российской истории РАН, 2019. Гл. 18. С. 111-115.
Перу Симеона Полоцкого принадлежит небольшое количество переводов, выполненных им в основном с латинского языка. Проповеди Симеона, собранные в сборнике «Обед душевный», также частично подпадают под определение переводных текстов. ...
Добавлено: 25 сентября 2019 г.
Чаплинский А. В., Информационное право 2016 № 3 (49) С. 24-29
Статья посвящена вопросу дальнейшего развития транспарентности судебной системы России путем организации трансляций судебных заседаний в сети Интернет. На основе анализа преимуществ и недостатков автором сделан вывод о необходимости активного использования данного инструмента, позволяющего обеспечить открытость судопроизводства.
В статье рассмотрены положения действующего законодательства, регулирующие вопрос Интернет-трансляций заседаний судов, существующая практика, а также планируемые мероприятия по созданию технической ...
Добавлено: 16 января 2017 г.