?
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
P. 9-14.
Дворянский Л. В., Фрумин Д. И.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый для композициональной проверки живости. Представлены экспериментальные результаты использования инструмента на классическом примере обедающих философов.
Ключевые слова: композициональностьмультиагентные системыnested Petri netsвложенные сети Петриcompositionalitymulti-agent systemslivenessживость
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Дворянский Л. В., Ломазова И. А., , 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 г.
Дворянский Л. В., Theoretical Computer Science 2020
Вложенные сети Петри (NP-сеть) это удобный формализм для моделирования систем состоящих из распределенных мобильных агентов с автономным поведением. NP-сеть состоит из высокоуровневой системной сети и автономных сетевых токенов. Каждый сетевой токен это сеть Петри. Сетевые токены управляются системной сетью. Многие поведенческие свойства - живость, ограниченность, обратимость - неразрешимы для NP-сетей. Другие - завершимость и покрытие ...
Добавлено: 1 ноября 2019 г.
Самохвалов Д. И., Дворянский Л. В., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 65-84
Вложенные сети Петри – это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне. Мультиагентные системы находят применение во многих областях – начиная системами, для которых безопасность играет критическую роль, заканчивая ...
Добавлено: 15 сентября 2016 г.
Andranik S. Akopov, Beklaryan L., Armen L. Beklaryan, Cybernetics and Information Technologies 2021 Vol. 21 No. 3 P. 127-144
Добавлено: 28 сентября 2021 г.
Драгалина-Черная Е. Г., Логические исследования 2022 Т. 28 № 1 С. 27-49
Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную ...
Добавлено: 29 мая 2022 г.
Мицюк А. А., Котылев Я. В., , 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 г.
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 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
Добавлено: 2 февраля 2013 г.
Баулина П. В., Шаги/Steps 2023 Т. 9 № 3 С. 258-276
В статье рассматривается феномен (медиа)при- сутствия как способ проекционного воплощения объектов в теа- тре. На материале западноевропейских постановок 2000–2010-х годов описаны техники использования в спектаклях проекцион- ных поверхностей и устройств. Исследование представляет со- бой попытку критического описания и каталогизации режимов присутствия с помощью проекционных образов. Теоретико-мето- дологическая рамка, применяемая в статье, включает комплекс идей на ...
Добавлено: 13 октября 2023 г.
Дворянский Л. В., , in : Formal Modeling and Analysis of Timed Systems. Vol. 9884.: Switzerland : Springer, 2016. Ch. 1. P. 3-18.
Добавлено: 13 сентября 2016 г.
Акопов А. С., Beklaryan L., Beklaryan A. L., Cybernetics and Information Technologies 2020 Vol. 20 No. 3 P. 45-63
Добавлено: 19 августа 2020 г.
Шутов А. А., Куркина И., Известия Академии инженерных наук им. А.М. Прохорова. Серия: Бизнес-информатика 2005 № 12 С. 7-17
Данная работа посвящена описанию архитектуры распределенной программной системы для моделирования экономических процессов. В работе описан общий подход к созданию распределенных приложений на базе системы моделирования SWARM и обсуждаются основные детали реализации. ...
Добавлено: 9 декабря 2012 г.
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 г.
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49-67
Mногоуровневые мультиагентные системы (МАС) с динамической структурой широко используют- ся при решении важных прикладных задач в телекоммуникационных, транспортных, социальных и других системах. Поэтому обеспечение корректности таких систем является актуальной и значимой задачей. Одним из самых уязвимых для ошибок этапов разработки системы в рамках модельно- ориентированного подхода является этап реализации, на котором по разработанной модели строит- ...
Добавлено: 4 декабря 2015 г.
Дворянский Л. В., Ломазова И. А., , in : Program Semantics, Specification and Verification: Theory and Applications. The conference materials. : Nizhny Novgorod : Nizhny Novgorod State University, 2012. P. 55-63.
Вложенные сети Петри (NP-nets) это сети Петри с сетевыми фишками. NP-nets являются расширением сетей Петри высокого уровня для моделирования активных объектов, мобильности и динамики в распределенных системах. В этой работе мы представляет алгоритм перевода двухуровневых NP-nets в поведенчески эквивалентную цветную сеть Петри, с целью применения методов и инструментов цветных сетей Петри для анализа NP-nets. Мы ...
Добавлено: 21 сентября 2012 г.
Рахилина Е. В., Выренкова А. С., / НИУ ВШЭ. Series WP BRP "Linguistics". 2014. No. 11.
Добавлено: 23 октября 2014 г.
Карраскель Г. Х., Ломазова И. А., Itkin I., , in : Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 92-103.
Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. ...
Добавлено: 14 октября 2019 г.
Апресян В. Ю., Russian linguistics 2014 Vol. 38 No. 2 P. 187 -203
В работе рассматриваются проблемы композициональности, уступительности, отрицательной поляризации, градуируемости, языковой антропоцентричности и взаимодействия семантики и синтаксиса на материале корпусного исследования русской синтаксической фраземы при всем Х-е и ее английского не-идиоматического аналога with all X. Исследование демонстрирует (а) наличие как композициональных, так и не-композициональных компонентов в русской фраземе на семантическом и синтаксическом уровнях; (б) наличие корреляции ...
Добавлено: 9 октября 2014 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Yury Lander, , in : Headedness and/or Grammatical Anarchy?. : Berlin : Language Science Press, 2022. P. 27-51.
Добавлено: 21 августа 2020 г.
Бучина Н. Г., Дворянский Л. В., , 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 г.
Шутов А. А., Долгов А. А., Известия Академии инженерных наук им. А.М. Прохорова. Серия: Бизнес-информатика 2006 № 17 С. 20-30
Данная работа посвящена описанию архитектуры и методов реализации распределенной программной системы для моделирования микроэкономических взаимоотношений. В работе проанализированы достоинства и недостатки существующих технологий построения распределенных систем, описан общий подход к созданию распределенных приложений на базе системы моделирования SWARM и обсуждаются основные детали реализации. ...
Добавлено: 9 декабря 2012 г.
Апресян В. Ю., , in : Meaning Text Theory: Current Developments. Vol. . Issue 85.: Muenchen : Wiener Slawistischer Almanach, 2013. Ch. 2.1. P. 132-141.
The paper presents a corpus study of the concessive syntactic phraseme pri vsjom X-e ‘with all X’ in Russian. The study demonstrates (a) a strong correlation between the semantics of the phraseme and its other linguistic properties; (b) pragmatic properties that are typical of syntactic phrasemes in general; (c) language-specific phraseological status. In particular, the ...
Добавлено: 13 октября 2013 г.