?
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling
P. 13-25.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 7979: Lecture Notes in Computer Science. , Berlin, Heidelberg : Springer, 2013
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 г.
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Добавлено: 19 марта 2011 г.
Vladimir A. Bashkin, Irina A. Lomazova, Transactions on Petri Nets and Other Models of Concurrency 2014 Vol. 9 P. 1-18
A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. Neither the intermediate nor final resource markings are constrained, hence a net can have an infinite number of different reachable states. An RWF-net with k tokens in the ...
Добавлено: 7 декабря 2014 г.
[б.и.], 2013
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri ...
Добавлено: 17 августа 2013 г.
EasyChair, 2014
This volume contains the papers to be presented at VPT 2014: Second International Workshop on Verification and Program Transformation to be held on July 17-18, 2014 in Vienna. The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. ...
Добавлено: 10 августа 2014 г.
Switzerland : Springer, 2016
Добавлено: 13 сентября 2016 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Ломазова И. А., Ермакова В. О., , in : CEUR Workshop Proceedings. Vol. 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 г.
Bresolin D., Tvardovskii A., Nina Yevtushenko и др., , in : IFAC-PapersOnLine (T.V.51.Вып 7). : Elsevier, 2018. P. 486-492.
Добавлено: 1 ноября 2018 г.
Сизых Д. С., Сизых Н. В., Исаев Е. А., , in : 2017 IEEE 11th International Conference on Application of Information and Communication Technologies. Vol. 2.: Institute of Electrical and Electoronics Engineers, 2017. Ch. 2. P. 173-178.
Предложен метод моделирования финансовой структуры активов компании на основе разработанной авторами матрицы «активы-капитал». Эта матричная модель позволяет сократить время обработки и объем обрабатываемой информации, а также обеспечить наглядность полученных показателей для своевременного принятия соответствующих управленческих решений. На основе этой модели разрабатывается автоматизированная система для мониторинга и предварительного анализа структуры капитала компании. ...
Добавлено: 14 ноября 2017 г.
Исаев Д. В., Проблемы теории и практики управления 2014 № 1 С. 64-70
Рассматриваются вопросы информационно-логического моделирования комплексных систем, обеспечивающих информационную поддержку стратегического менеджмента. Показано позиционирование применяемых методов моделирования относительно концепции архитектуры предприятия, позволяющей описывать структуру организации. ...
Добавлено: 3 февраля 2014 г.
Кулагин В. П., Перспективы науки и образования 2013 № 6 С. 26-30
Раскрываются формирования информационных ресурсов на основе параллельных вычислений. Раскрыта проблема семантического разрыва. Отмечен антропологический подход оценки производительности вычислительных систем. Показана целесообразность применения тензорных методов и сетей Петри для формирования информационных ресурсов. ...
Добавлено: 26 марта 2015 г.
Suleykin A., Peter B. Panfilov, , in : 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). : IEEE, 2022. P. 1495-1500.
Добавлено: 23 сентября 2022 г.
Добавлено: 31 октября 2019 г.
Энатская Н. Ю., Труды Карельского научного центра Российской академии наук 2017 № 8 С. 94-100
Рассматриваются разные процедуры перечисления всех исходов схемы размещений с заданным ограничением, устанавливается взаимно-однозначное соответствие между ними и их номерами, приводится моделирование возможных значений реализации схемы. Тогда из проведенного анализа могут быть получены результаты по тем же направлениям для подстановок любой цикловой структуры с ограниченным тем же числом рассеянием, что и степы в нашей схеме при ...
Добавлено: 11 января 2018 г.
Архипова М. Ю., Архипов К. В., , in : Marketing and Logistics Problems in the Management of 0rganization. : Bielsko-Biala : ATH University, 2011. Ch. 14. P. 214-229.
The article covers innovations in stategical logistic managment of a trade company: defining the optimal number of branches depending on the demand. All parameters in the model are dynamic: the cost of delivery, the cost of storing and the cost of rent of the warehouse. In the model were used the modified method of fuzzy ...
Добавлено: 26 февраля 2013 г.
Ломазова И. А., Popova-Zeugmann L., Bartels A., , in : International Conference on Control, Decision and Information Technologies, CoDIT 2017, Barcelona, Spain, April 5-7, 2017. : IEEE, 2017. P. 0236-0241.
Добавлено: 10 ноября 2017 г.
Михеева О. М., Сальников В. А., Studies on Russian Economic Development 2018 Vol. 29 No. 1 P. 94-101
Добавлено: 1 ноября 2018 г.
Описываются средства DSM-платформы MetaLanguage для создания предметно-ориентированных языков и многоуровневого моделирования. Возможность определения трансформаций обеспечивает снижение трудоёмкости разработки новых языков и преобразования моделей. ...
Добавлено: 17 ноября 2013 г.
Петровский Д. В., Кокурин Д. И., Логистика и управление цепями поставок 2017 № 6 С. 125-132
В данной статье рассматривается применение аппарата стохастических сетей Петри при анализе цепей поставок. Основным анализируемым объектом являлся складской модуль и модуль производства, и их взаимодействие с другими элементами системы. Изучаемая логистическая система была представлена в виде стохастической сети Петри, затем были созданы две модели одной системы с разными начальными характеристиками с целью их дальнейшего сравнения. ...
Добавлено: 28 ноября 2017 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Исаева А. Н., Вестник Университета (Государственный университет управления) 2013 № 23 С. 244-252
Статья посвящена путям и способам исследования зрелого отношения личности к оппозициям жизни. Рассматривается проблема синтеза гуманитарного знания об оппозициях. Предлагается модель соотнесения онтологических, гносеологических и «рефлексивно-феноменологических» оппозиций жизни личности. Обозначены потенциалы культуры в исследовании специфики зрелых жизненных отношений личности. Предложена реконструкция оппозиций жизненных отношений личности – творца культуры. В качестве основного критерия зрелой личности рассматриваются ...
Добавлено: 15 ноября 2013 г.