Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Modeling and Analysis of Information Systems. 2012. Т. 19. № 5. С. 115-130.
Дворянский Л.В., Ломазова И.А.
, , Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 275-293
Nested Petri nets (NP-nets) are Petri nets with net tokens. The liveness and boundedness problems are undecidable for two-level NP-nets. Boundedness is in EXPSPACE and liveness is in EXPSPACE or worse for plain Petri nets. However, for some restricted classes, e.g. for plain free-choice Petri nets, problems become more amenable to analysis. There is a ...
Added: November 28, 2012
, , Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
, , Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Resource-driven automata (RDA) are finite automata, sitting in the nodes of a finite system net and asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). RDAs themselves may be resources for each other, thus allowing the highly flexible structure of the model. It was proved earlier, that RDA-nets are expressively equivalent ...
Added: November 28, 2012
Agent-based simulation modelling for regional ecological-economic systems. A case study of the Republic of Armenia
, , et al., Journal of machine learning and data analysis 2016 Vol. 2 No. 1 P. 104-115
In the article, actual problems of modeling of ecologic-economic systems on the example of the Republic of Armenia (RA) are considered. Based on methods of agent modeling and system dynamics the simulation model of ecological-economic system, which has allowed constructing the RA Ecological Map was created. The important purpose of the offered approach is search ...
Added: August 23, 2016
, Вестник Воронежского государственного университета инженерных технологий 2018 Т. 80 № 1 С. 288-297
The current work is devoted to study of interrelations of the obtained time series by means of econometric and wavelet analysis. At the first stage of this study, econometric analysis was conducted, regression was constructed. In the regression influence of the number of nomads and the amount of resource on the number of plowmen was studied. The ...
Added: June 2, 2018
, Вестник Бурятского государственного университета 2015 № 9 С. 40-53
Development of a phenomenological approach to simulation of the human crowd behavior is presented in the paper. We consider continuous stochastic agent-based model of human behavior in a confined space with a given geometry. By analogy with the Antonini’s model, a decision making system of an agent based on an analysis of the surrounding space ...
Added: August 2, 2015
, , Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Added: March 19, 2011
, , Электроника и электрооборудование транспорта 2016 № 6 С. 32-34
The article considers mathematical model of different client groups interaction between themselves and with maintenance inside transport hub. Block diagram of the system model services is presented. ...
Added: January 16, 2017
, Экономика и математические методы 2018 Т. 54 № 4 С. 124-131
In the article (Belousov F.A., 2017), the model with the simplest social structure was built and studied. In the model agents are divided into two types - nomads and plowmen, each of which is distinguished by its attitude to the method of production of the product. If plowmen can independently reproduce product, then nomads are ...
Added: March 1, 2019
Разработка параллельных генетических алгоритмов вещественного кодирования для систем поддержки принятия решений социально-экономического и экологического планирования
, , et al., Бизнес-информатика 2019 Т. 13 № 1 С. 33-44
This article presents a new approach to designing decision-making systems for socio-economic and ecological planning using parallel real-coded genetic algorithms (RCGAs), aggregated with simulation models by objective functions. A feature of this approach is the use of special agent-processes, which are autonomous genetic algorithms (GAs) acting synchronously in parallel streams and exchanging periodically by the ...
Added: May 3, 2019
, Lecture Notes in Business Information Processing 2011 No. 93 P. 3-14
Recognizing the challenges that a contemporary university faces, an inter-faculty group of researchers performed the analysis of organizational and management approach in one of Russia’s universities and modeled existing business processes. The university is a multi-campus organization and to manage it efficiently it is necessary to make transition from the traditional management model to a ...
Added: December 29, 2012
Разработка инструмента оптимального планирования сети распределения с применением методов математического программирования и имитационного моделирования
, , Успехи в химии и химической технологии 2014 Т. 28 № 8 (157) С. 122-125
This paper describes a prototype distribution network planning tool based on an iterative approach using a combination of mixed-integer linear programming and simulation. The prototype is implemented using an open-source optimization package GLPK and Anylogic software. ...
Added: February 27, 2016
, Логистика и управление цепями поставок 2018 № 6(89) С. 137-152
This article explores the possibilities of modern simulation modeling in the tasks of design and supply chain modeling as systems with structural and dynamic complexity, the study of which should be carried out taking into account multiple risk factors and uncertainties, considering and evaluating the efficiency, dynamism, flexibility and adaptability of the SC based on ...
Added: February 2, 2019
, , 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 ...
Added: December 7, 2014
Исследование цивилизаций с двумя различными способами воспроизводства продукта. Агент-ориентированная модель «кочевников» и «землепашцев»
, Вестник ЦЭМИ 2018 № 4
The article is devoted to the study of the evolution of civilization with two social classes ("nomads" and "tillers"), and, accordingly, with two different methods of production. Such models can be a useful tool for studying social and economic history. ...
Added: February 12, 2019
, , et al., Компьютерные исследования и моделирование 2014 Т. 6 № 4 С. 621-631
This article presents an integrated dynamic model of eco-economic system of the Republic of Armenia (RA). This model is constructed using system dynamics methods, which allow to consider the major feedback related to key characteristics of eco-economic system. Such model is a two-objective optimization problem where as target functions the level of air pollution and ...
Added: September 17, 2014
, , Бизнес-информатика 2015 № 1(31) С. 69-77
Development of a phenomenological approach to simulation of the human crowd behavior, proposed in , is presented in the paper. We consider continuous stochastic agent-based model of human behavior in a confined space with a given geometry using clarifications on a status of an agent and decision-making system of an agent, presented in Helbing’s models ...
Added: April 28, 2015
Система поддержки принятия решений для рационального озеленения города на примере г. Ереван, Республика Армения
, , et al., Программная инженерия 2019 Т. 10 № 2 С. 87-96
This article presents the developed decision support system for the rational management of landscaping on the example of Yerevan, Republic of Armenia. Using agent-based modeling methods, a simulation model has been developed for the distribution of emissions of harmful substances into the atmosphere, taking into account their interaction with green plantings (trees) in order to ...
Added: March 6, 2019
Control system for ecological modernization of enterprises (on the example of the Republic of Armenia)
, , et al., Business Informatics 2016 No. 2(36) P. 71-78
The article examines a system for controlling the ecological modernization dynamics of enterprises developed with the help of simulation modelling methods and implemented using the example of the Republic of Armenia (RA). The system has been developed for strategic decision-making directed at modernization of enterprises of RA, their transformation from an initial non-ecological state towards ...
Added: July 1, 2016
Система управления беспилотными транспортными средствами на основе нечеткой кластеризации. Часть 1. Модель движения транспортных средств
, , et al., Вестник компьютерных и информационных технологий 2020 Т. 17 № 9 С. 3-12
A control system for ground unmanned vehicles is presented, using fuzzy clustering methods for making decisions at an individual level. A new approach to the management of ground unmanned vehicles has been developed, taking into account the state of vehicles in a dense traffic, in particular, the presence of road accidents, the appearance of traffic congestion ...
Added: August 26, 2020
, , Automation and Remote Control 2015 Vol. 76 No. 10 P. 1817-1827
An agent model of crowd (ensemble) behavior in emergencies was presented. This model is distinguished for the allowance for dynamics of each agent from the ensemble under consideration. The crowd effect manifests itself mostly as attraction or repulsion of closely set agents with a probability depending on the agent’s psychological type. Consideration was given to ...
Added: October 24, 2015
, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 163-174
. In this paper, we propose an approach to implementation of the algorithm for computing transition priorities for live Petri nets. Priorities are a form of constraints which can be imposed to ensure liveness and boundedness of a Petri net model. These properties are highly desirable in analysis of different types of systems, ranging from business processes systems ...
Added: October 24, 2019
, , et al., Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление 2019 Т. 12 № 3 С. 58-66
Повсеместные исследования в области беспроводной связи предлагают огромный спектр технологических инструментов для потенциального натурного моделирования и интеграции. Одно из перспективных направлений в данной области – применение прямых соединений между мобильными узлами в географической близости (D2D). В статье проанализированы коммуникационные сценарии, возникающие в сетях связи пятого поколения с использованием прямых D2D соединений между пользовательскими мобильными узлами. Предложен ...
Added: October 31, 2019
, , Fundamenta Informaticae 2013 Vol. 128 No. 1-2 P. 129-141
In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services—a necessary condition for the service compatibility. Resources, which ...
Added: November 18, 2013