?
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.
Korotyaev Evgeny, Saburova N., Mathematische Annalen 2020 Vol. 337 P. 723–758
We consider a Laplacian on periodic discrete graphs. Its spectrum consists of a finite
number of bands. In a class of periodic 1-forms, i.e., functions defined on edges of
the periodic graph, we introduce a subclass of minimal forms with a minimal number
I of edges in their supports on the period. We obtain a specific decomposition of ...
Добавлено: 5 февраля 2021 г.
Улитин Б. И., Улитин И. Б., В кн.: Современные проблемы физического воспитания, спортивной тренировки, оздоровительной и адаптивной физической культуры. Материалы XIX Международной научно-практической конференции (Нижний Новгород, 26 ноября 2020 г.).: Нижегородский государственный университет им. Н.И. Лобачевского, 2021. С. 66–70.
Любая фитнес-система должна обладать определенными параметрами модификации, чтобы иметь возможность адаптироваться к требованиям различных конечных пользователей. К сожалению, реализация такой адаптивности является трудоемким процессом и требует поддержки распределенных систем данных. Однако, даже простейшие фитнес-системы также подразумевают возможность настройки. В данной работе предлагается подход к построению фитнес-системы на основе объектной структуры интерфейсов и выделения инвариантов на ...
Добавлено: 4 февраля 2021 г.
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 г.
Добавлено: 20 октября 2020 г.
Карраскель Г. Х., Ломазова И. А., Itkin I., , in: Proceedings of the MACSPro Workshop 2019Vol. 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 г.
Мицюк А. А., Котылев Я. В., , in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected PapersVol. 779: Communications in Computer and Information Science.: Springer, 2018. Ch. 11 P. 127–138.
Добавлено: 30 января 2018 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115–136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 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 г.
Кулагин В. П., , 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 г.
Самохвалов Д. И., Дворянский Л. В., 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 SystemsVol. 9884.: Switzerland: Springer, 2016. Ch. 1 P. 3–18.
Добавлено: 13 сентября 2016 г.
Ломазова И. А., Ермакова В. О., , in: CEUR Workshop ProceedingsVol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.: CEUR Workshop Proceedings, 2016. P. 93–112.
Добавлено: 28 июня 2016 г.
СПб.: ООО «Книжный дом», 2014.
В докладах обсуждаются актуальные вопросы прикладных исследований специальных языков и текстов (терминология, терминография, словари и перевод), разработка и применение методов структурного анализа текстов (математическое моделирование), концепции и инструменты создания и ведения национальных и специальных корпусов текстов. ...
Добавлено: 4 марта 2016 г.
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49–67
Mногоуровневые мультиагентные системы (МАС) с динамической структурой широко используют- ся при решении важных прикладных задач в телекоммуникационных, транспортных, социальных и других системах. Поэтому обеспечение корректности таких систем является актуальной и значимой задачей. Одним из самых уязвимых для ошибок этапов разработки системы в рамках модельно- ориентированного подхода является этап реализации, на котором по разработанной модели строит- ...
Добавлено: 4 декабря 2015 г.