?
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
P. 325-344.
Дворянский Л. В., Ломазова И. А.
Ключевые слова: nested Petri netsвложенные сети Петриstructural analysisинвариантыанализ поведенческих свойств информационных системanalysis of behavioral properties of information systemsplace invariants
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 9698: Lecture Notes in Computer Science. , Switzerland : Springer, 2016
Бучина Н. Г., Дворянский Л. В., , 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 г.
Дворянский Л. В., Ломазова И. А., , 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 г.
Дворянский Л. В., Ломазова И. А., 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 г.
Самохвалов Д. И., Дворянский Л. В., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 65-84
Вложенные сети Петри – это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне. Мультиагентные системы находят применение во многих областях – начиная системами, для которых безопасность играет критическую роль, заканчивая ...
Добавлено: 15 сентября 2016 г.
Дворянский Л. В., , in : Formal Modeling and Analysis of Timed Systems. Vol. 9884.: Switzerland : Springer, 2016. Ch. 1. P. 3-18.
Добавлено: 13 сентября 2016 г.
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49-67
Mногоуровневые мультиагентные системы (МАС) с динамической структурой широко используют- ся при решении важных прикладных задач в телекоммуникационных, транспортных, социальных и других системах. Поэтому обеспечение корректности таких систем является актуальной и значимой задачей. Одним из самых уязвимых для ошибок этапов разработки системы в рамках модельно- ориентированного подхода является этап реализации, на котором по разработанной модели строит- ...
Добавлено: 4 декабря 2015 г.
Дворянский Л. В., Ломазова И. А., , 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 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Мицюк А. А., Котылев Я. В., , 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 г.
Дворянский Л. В., Фрумин Д. И., , 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 г.
Дворянский Л. В., Фрумин Д. И., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 9-14.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый ...
Добавлено: 18 июня 2013 г.
Улитин Б. И., Улитин И. Б., В кн. : Современные проблемы физического воспитания, спортивной тренировки, оздоровительной и адаптивной физической культуры. Материалы XIX Международной научно-практической конференции (Нижний Новгород, 26 ноября 2020 г.). : Нижегородский государственный университет им. Н.И. Лобачевского, 2021. С. 66-70.
Любая фитнес-система должна обладать определенными параметрами модификации, чтобы иметь возможность адаптироваться к требованиям различных конечных пользователей. К сожалению, реализация такой адаптивности является трудоемким процессом и требует поддержки распределенных систем данных. Однако, даже простейшие фитнес-системы также подразумевают возможность настройки. В данной работе предлагается подход к построению фитнес-системы на основе объектной структуры интерфейсов и выделения инвариантов на ...
Добавлено: 4 февраля 2021 г.
Ломазова И. А., М. : Научный мир, 2004
В книге представлено описание формализма вложенных сетей Петри, предназначенного для моделирования и анализа поведения распределенных систем со сложной объектной структурой. Вложенные сети Петри представляют собой расширение стандартного формализма сетей Петри, в котором фишки, представляющие локальные ресурсы в позициях сети, сами могут быть сложными объектами с сетевой структурой. Дается описание формальной семантики таких сетей. Приводятся алгоритмы ...
Добавлено: 8 декабря 2011 г.
СПб. : ООО «Книжный дом», 2014
В докладах обсуждаются актуальные вопросы прикладных исследований специальных языков и текстов (терминология, терминография, словари и перевод), разработка и применение методов структурного анализа текстов (математическое моделирование), концепции и инструменты создания и ведения национальных и специальных корпусов текстов. ...
Добавлено: 4 марта 2016 г.
Колеров С. Б., Вестник Университета (Государственный университет управления) 2010 № 14 С. 157-160
В проведенной работе, которая является очередным этапом цикла исследований, предложена методика макроэкономического анализа структуры и прогноза затрат на оплату труда в разрезе видов экономической деятельности. На основе предложенной методики реализована автоматизированная система расчета. Показано, что мультипликативный учет тренда и оптимально оцененных инструментальных переменных, характеризующих периодические отклонения, репрезентативен для большинства видов экономической деятельности. ...
Добавлено: 22 мая 2014 г.
Дворянский Л.В., Ломазова И.А., Моделирование и анализ информационных систем 2012 Т. 19 № 5 С. 115-130
Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets”, когда фишки в разметке сети сами являются сетями Петри и обладают автономным поведением, при этом имеются средства синхронизации сетевых фишек и системной сети. Фомализм NP-сетей позволяет естественным образом моделировать многоуровневые мультиагентные системы с динамической структурой. В настоящее время не существует инструментальной поддержки ...
Добавлено: 28 ноября 2012 г.
Кулагин В. П., Цветков В. Я., Вестник МГТУ МИРЭА 2014 № 4 С. 18-38
Статья анализирует методы исследования сложных систем. Предлагается общий подход проектирования сложных систем на основе использования теории тензорного анализа. Показана целесообразность перехода от непрерывного пространства к дискретному. Показана необходимость перехода к новой геометрии, отличающейся от аналитической или проективной. Вводится понятие структуры сети Петри или СП- структуры. Вводится понятие эталонной модели СП-структур. Вводится понятие преобразования системы координат ...
Добавлено: 26 марта 2015 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., / Cornell University. Series Computer Science "arxiv.org". 2020.
Добавлено: 20 октября 2020 г.
Кулагин В. П., , in : 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings. : M. : HSE, 2016.
This paper addresses the issue of designing control systems for parallel computing structures. Designing methodology described grounds on Petri nets to model computing systems of different dimensionality. Then a description of the Petri nets models (PN-models) vertex projection procedure, which allows constructing new models with differing structural and dynamical properties, is presented. Afterwards the existence ...
Добавлено: 21 сентября 2016 г.
Карраскель Г. Х., Ломазова И. А., 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 г.
Кохов В. А., Незнанов А. А., Программные продукты и системы 2010 № 4 С. 25-25
Рассмотрены оригинальные программные средства, реализующие построение и анализ системы моделей струк-турной сложности и сходства, основанных на характеризации расположения фрагментов в топологии структур. Данные средства реализованы в виде подсистемы АСНИ «Graph Model Workshop» и нашли применение при исследовании отношений эквивалентности и толерантности на графовых моделях систем. ...
Добавлено: 14 октября 2012 г.
Шадриков В. Д., Procedia - Social and Behavioral Sciences 2013 Vol. 86 P. 301-307
...
Добавлено: 11 июня 2013 г.
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 г.