?
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.
Publication based on the results of:
In book
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 ...
Added: June 27, 2016
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Added: March 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 ...
Added: December 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 ...
Added: August 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. ...
Added: August 10, 2014
Switzerland : Springer, 2016
Control and analysis of the timing of computations are crucial to many domains of system engineering, be it, e.g., for ensuring a timely response to stimuli originating in an uncooperative environment or for synchronizing components in VLSI. Reflecting this broad scope, timing aspects of systems from a variety of domains have been treated independently by ...
Added: September 13, 2016
Ermakova V., Lomazova I. A., Труды Института системного программирования РАН 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
Lomazova I. A., Ermakova V., , 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.
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has ...
Added: June 28, 2016
Bresolin D., Tvardovskii A., Nina Yevtushenko et al., , in : IFAC-PapersOnLine (T.V.51.Вып 7). : Elsevier, 2018. P. 486-492.
Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends the expressive power of FSMs by introducing a single clock, timed guards which restrict when the input/output transitions may happen, and timeouts on the ...
Added: November 1, 2018
Sizykh D., Sizykh N., Isaev E., , 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.
It is proposed the method for modeling of financing structure of company's assets based on the matrix "assets-capital" developed by the authors. This matrix model allows to reduce the time and volume of the processed information, as well as to provide visibility of the received indicators for the timely adoption of appropriate management decisions. Based ...
Added: November 14, 2017
Isaev D., Проблемы теории и практики управления 2014 № 1 С. 64-70
The questions of info-logical modeling of integrated systems for information support of strategic management are considered. The positioning of applied modeling methods regarding the enterprise architecture methodology, which is aimed to description of structure of an organization is presented. ...
Added: February 3, 2014
Kulagin V., Перспективы науки и образования 2013 № 6 С. 26-30
The article describes the methods of formation of information resources on the basis of parallel computing. This article describes the semantic gap. The article describes the anthropological approach evaluate the performance of computing systems. The article shows the feasibility of tensor methods and Petri nets for the formation of information resources. ...
Added: March 26, 2015
Suleykin A., Peter B. Panfilov, , in : 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). : IEEE, 2022. P. 1495-1500.
In this work, benchmarking of production plan processing applications based on data storage and analytics solutions using open source technologies was performed. The functional and component architecture of a digital framework for processing production plan files is presented, with special attention to the performance analysis of data processing based on the measurement of processing time ...
Added: September 23, 2022
Yenigün H., Nina Yevtushenko, Cavalli A. R., Software Quality Journal 2019 Vol. 27 No. 2 P. 497-499
Testing is one of the most frequently used techniques in practice to assure the quality and thereliability of software systems. It is used not only during the development of such systemsbut also during their operation. Over the last years, new testing technologies appeared forchecking both functional and non-functional requirements of systems. Application areas ofthese technologies ...
Added: October 31, 2019
Enatskaya N., Труды Карельского научного центра Российской академии наук 2017 № 8 С. 94-100
We consider different procedures to number all outcomes of an arrangement scheme with a given restriction, establish an one-to-one correspondence between the outcomes and its numbers, generated in the numbering procedure, and give some methods to simulate the outcomes. Then in is possible to obtain the results in the same directions for permutations of any ...
Added: January 11, 2018
Arkhipova M., Arkhipov K., , 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 ...
Added: February 26, 2013
Lomazova I. A., 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.
In this paper we study how it is possible to control Petri net behavior using priority and time constraints. Controlling here means forcing a process to behave in a stable way by associating priorities, or time intervals to transitions and hence transforming a classic Petri net into a Petri net with priorities, or a Time ...
Added: November 10, 2017
Mikheeva O. M., Salnikov V., Studies on Russian Economic Development 2018 Vol. 29 No. 1 P. 94-101
The paper presents the results of modeling the pricing mechanism in the residential real estate market (by using Moscow as an example). The key factors that influence the monthly and annual dynamics of real estate prices are revealed; their quantitative impact is assessed using regression analysis methods. The close dependence of the real estate price ...
Added: November 1, 2018
Sukhov A., Lyadova L. N., Zamyatina E., Информатизация и связь 2013 № 5 С. 11-14
Tools of the DSM-platform MetaLanguage for creation of domain specific languages and for multilevel modeling are described. The transformations definition facility provides lower labor consumption for languages development and for model transformations. ...
Added: November 17, 2013
Петровский Д. В., Кокурин Д. И., Логистика и управление цепями поставок 2017 № 6 С. 125-132
In this paper, the use of the apparatus of stochastic Petri networks applying to the analysis of supply chains is considering. The storage module and the production module of the logistics system and their interaction with other elements of the system have been analyzed. First, the considered logistical system was represented in the form of ...
Added: November 28, 2017
Vladimir A. Bashkin, Lomazova I. A., 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
Isaeva A. N., Вестник Университета (Государственный университет управления) 2013 № 23 С. 244-252
The article discusses the ways of studying the mature relationships of personality to the oppositions of their life. The problem of synthesis of humanitarian knowledge about the oppositions is considered. The paper proposes the model of relations between ontological, gnoseological and “reflexive-phenomenological” oppositions. Culture potentials which are valuable for research of specifics of mature relationships ...
Added: November 15, 2013