?
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Automatic Control and Computer Sciences. 2013. Vol. 47. No. 7. P. 393-402.
Dworzanski L. W., Lomazova I. A.
Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multilevel multiagent systems with dynamic structure in a natural way. Currently there is no tool support for NP-nets simulation and analysis. The paper proposes translation of NP-nets into colored Petri nets and using CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.
Publication based on the results of:
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
Elena Zamyatina, Alexander Mikov, Roman Mikheev, International Journal "Information Models and Analyses" 2013 Vol. 2 No. 1 P. 70-80
This paper focuses on the problem of validation and verification of computer network simulation models. Authors propose to use special linguistic and program tools of CAD system TriadNS in this case. First of all it should be noted that TRiadNS is a computer system which was developed for computer network design. Simulation is the main ...
Added: February 28, 2015
Л. В. Дворянский, И. А. Ломазова, Программирование 2016 № 5 С. 49-67
Multi-agent systems (MAS) with many levels and dynamic hierarchical structure are widely used in telecommunication, transport, social, and other fields.
Assuring correctness of such systems is an important and topical issue.
In this paper we consider modeling MAS with dynamic structure with the help of Nested Petri nets (NPNs). NPN is an extension of Petri nets within ...
Added: December 4, 2015
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Added: May 6, 2017
NY : Curran Associates, Inc., 2018
Proceedings of the 32nd European Conference on Modelling and Simulation (ECMS 2018) ...
Added: April 6, 2019
Ivanova E., Vishnekov A., Erokhin V., Нано- и микросистемная техника 2014 № 12 С. 30-36
Every SoC design center has its own design flow, i.e. process of chip designing, testing, verification and production. The design flow depends on many factors: a finance possibility, personal's quality and even traditions in the firm. As SoC production is very expensive task, every firm try to produce good chip on the first iteration. So ...
Added: February 4, 2015
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
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Шестая всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2013 состоялась в Казани (Республика Татарстан) 16-18 октября 2013 года.
Научная программа конференции включала следующие тематические направления:
- теоретические основы и методология имитационного и комплексного моделирования;
- методы оценивания качества моделей полимодельных комплексов;
- методы и системы распределенного моделирования;
- моделирование глобальных процессов;
- средства автоматизации и визуализации имитационного моделирования;
- системная динамика ...
Added: December 8, 2013
Cardiff : IEEE Computer Society, 2013
Added: March 13, 2015
Toporkov V., Toporkova A. S., Tselishchev A. et al., Procedia Computer Science 2014 Vol. 29 P. 831-843
In this paper, we deal with problems of efficient resource management and scheduling in utility Grids. There are global job flows from external users along with resource owners’ local tasks upon resource non-dedication condition. Competition for resource reservation between independent users, local and global job flows substantially complicates scheduling and the requirement to provide the ...
Added: February 24, 2015
Замятина Е.Б., Миков А.И., Информатизация и связь 2012 № 5 С. 130-133
It is difficult to imagine an enterprise, company, firm, an education organizations or organizations of health which does not deal with information systems. The openness and flexibility of the information systems provide a flexible and effective management. So it is necessary to adapt information system to new conditions being changed and to team up with ...
Added: May 14, 2014
Yaroslavl : Yaroslavl State University, 2013
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc. ...
Added: July 14, 2013
Ratnikov F., Zakharov E., Proceedings of Science Italy 2019 Vol. 340 P. 1-3
In HEP experiments CPU resources required by MC simulations are constantly growing and become a very large fraction of the total computing power (greater than 75\%). At the same time the pace of performance improvements from technology is slowing down, so the only solution is a more efficient use of resources. Efforts are ongoing in ...
Added: October 9, 2019
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
Zamyatina E., Каримов Д. Ф., Митраков А. А., Информатизация и связь 2014 № 2 С. 89-97
This paper discusses the problems of the agent-based simulation system design. It is wellknown that agent models extend the capabilities of simulation for solving some problems that can’t be solved by the methods of system dynamics and discrete event simulation. Particular attention in the design and the implementation of agent-based simulation authors pay to the ...
Added: February 20, 2015
Zakharov V., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine an induction-based technique for invariant generation and conventional model checking of finite state systems. At the ...
Added: October 12, 2015
Yermolina M., Zakhodiakin G., Логистика и управление цепями поставок 2019 № 6 С. 39-49
The article considers the situation when a company needs to distribute limited amount of stock to the regional warehouses in its own two-echelon distribution network. The network consists of a single distribution center and several regional facilities which are serving the company’s customers. It is supposed that every warehouse calculates its requirements for the replenishment ...
Added: February 19, 2020
Романов О. Ю., Лисенко О. М., Наукоємні технології 2014 Vol. 1 No. 21 P. 49-54
The comparative analysis of different approaches to modeling of networks on chip (SoC) is provided in the article. The basic directions of exploratory research topics of SoC are defined and it is shown that modeling, analysis and simulation of SoC are basical to conduct other researches.
The typical approaches to modeling of the SoC and examples ...
Added: October 31, 2014
Замятина Е.Б., Миков А. И., Михеев Р. А., Вестник Пермского университета. Серия: Математика. Механика. Информатика 2013 № 4(23) С. 107-118
The problems of simulation of distributed information systems are discussed. There are a large number of specialized software systems dedicated to design a simulation model of distributed systems and to run a simulation experiment. The article deals with software and language tools of CAD Triad.Net, considers the main features of the simulation model and how ...
Added: March 10, 2015
Smetanin S., Ometov A., Komarov M. M. et al., Sensors 2020 No. 12 P. 3358
The present increase of attention toward blockchain-based systems is currently reaching a tipping point with the corporate focus shifting from exploring the technology potential to creating Distributed Ledger Technology (DLT)-based systems. In light of a significant number of already existing blockchain applications driven by the Internet of Things (IoT) evolution, the developers are still facing ...
Added: June 15, 2020
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
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-toagent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints specifying the order of inner agent actions. ...
Added: July 10, 2018
Zamyatina E., Karimov D., Mittrakov A., International Journal "Information Models and Analyses" 2015 Vol. 4 No. 2 P. 178-191
Abstract: This paper discusses the problems of the agent-based simulation system design. It is well known that agent models extend the capabilities of simulation for solving some problems that can’t be solved by the methods of system dynamics and discrete event simulation. Particular attention in the design and the implementation of agent-based simulation authors pay ...
Added: March 16, 2016
Пермь : Пермский государственный национальный исследовательский университет, 2013
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при ...
Added: December 16, 2013
Ratnikov F., Ustyuzhanin A., EPJ Web of Conferences 2019 Vol. 2014 P. 1-8
Simulation is one of the key components in high energy physics. Historically it relies on the Monte Carlo methods which require a tremendous amount of computation resources. These methods may have difficulties with the expected High Luminosity Large Hadron Collider (HL-LHC) needs, so the experiments are in urgent need of new fast simulation techniques. We ...
Added: October 9, 2019