It has been shown that annotating Petri net unfoldings with time stamps allows for building
distributed testers for distributed systems. However, the construction of the annotated …

The paper deals with the task of formation a joint criteria for the functional state of the person
evaluation based on heart rate variability parameters and synchronization degree between …

Simulation of Processes in Cad Based on Modified Petri Nets Page 1 64 978-1-7281-3602-8/19/$31.00
©2019 IEEE Simulation of Processes in Cad Based on Modified Petri Nets Alexander V …

The performance of the technical object is determined based on the evaluation of its
parameters. Sensors of physical quantities are used to collect data on the values of the …

Model-based testing of software and hardware systems uses behavioral and formal models
of the systems. The paper presents a technique for model-based black-box conformance …

In this paper, an approach to test synthesis based on a logic circuit model for microcontroller
based physical systems is described. The formal model of the logic circuit is used to …

The vast majority of software developed must have the capacity to support thousands of
simultaneous users. To ensure that this is the case, systems must be tested to their limits to …

Time Petri nets with stopwatches not only model system/environment interactions and time
constraints. They further enable modeling of suspend/resume operations in real-time …

Advanced manufacturing extends the scope of new challenges in validation of the Internet of
Things (IoT) embedded systems that control the manufacturing cells. The paper presents …

The article offers information on the increase in the complexity of test applications of
software-based test-system architectures. It is said that engineers are continuously …