Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Roman Nesterov"'
Publikováno v:
Software and Systems Modeling. 22:351-375
A process model discovered from an event log of a multi-agent system often does not fully cover certain viewpoints of its architecture. We consider those concerned with the structure of a model explicitly reflecting agent behavior and interactions. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fefa4d3d5d090e2b32e10a03456fd07
https://doi.org/10.1007/s10270-022-01008-x
https://doi.org/10.1007/s10270-022-01008-x
Publikováno v:
Journal of Parallel and Distributed Computing. 179:104704
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8304182cd7abf5ad639f29d1b51e582a
https://doi.org/10.1016/j.jpdc.2023.04.005
https://doi.org/10.1016/j.jpdc.2023.04.005
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XVI ISBN: 9783662653029
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7616eea5dbec16e3f89e0ddfb953d4c
https://hdl.handle.net/10281/404098
https://hdl.handle.net/10281/404098
Publikováno v:
Scopus-Elsevier
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ac5ac12f05e14cc82fd7c8d42a5421e2
http://hdl.handle.net/10281/295858
http://hdl.handle.net/10281/295858
Autor:
Roman Nesterov, Irina A. Lomazova
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 21-38 (2018)
Process mining offers various tools for studying process-aware information systems. They mainly involve several participants (or agents) managing and executing operations on the basis of process models. To reveal the actual behavior of agents, we can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2909346dd7c45c43ec3c225691936886
https://ispranproceedings.elpub.ru/jour/article/view/311
https://ispranproceedings.elpub.ru/jour/article/view/311
Autor:
Roman Nesterov, Lomazova, I. A.
Publikováno v:
Scopus-Elsevier
Process models discovered from event logs of multi-agent systems may be complicated and unreadable. To overcome this problem, we suggest using a compositional approach. A system model is composed from agent models w.r.t. an interface. Morphisms guara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3eb77bcd874324aad2863a211eee382e
http://hdl.handle.net/10281/283489
http://hdl.handle.net/10281/283489
Autor:
Roman Nesterov, Irina A. Lomazova
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319717333
Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6f65d1b1a787c20f39594addc42c2b0
http://hdl.handle.net/10281/205140
http://hdl.handle.net/10281/205140
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 285-302 (2018)
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions are described by means of an interface. It is a logical form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4e32965d7d09042e3b165d2d26ff8e7
http://hdl.handle.net/10281/205152
http://hdl.handle.net/10281/205152
Publikováno v:
Scopus-Elsevier
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We discover workflow nets for each agent using existing process discover
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e85d37db36f1ba29b3664f4c57514032
http://hdl.handle.net/10281/205116
http://hdl.handle.net/10281/205116
Publikováno v:
Applied Mechanics and Materials. 792:546-550
The whole model of adaptive optics system of energy and information transfer should include a model of an active element [1] construction of which is defined by parameters of the system and beam control algorithm. In the algorithm of full-field phase
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d194fc42bc27e30bc289d5361a04d27
https://doi.org/10.4028/www.scientific.net/amm.792.546
https://doi.org/10.4028/www.scientific.net/amm.792.546