Nondeterministic automata modeles for formal presenttation of the basic properties of the control systems of parallel processes and resources
Автор: Vashkevich N.P., Biktashev R.A.
Журнал: Инфокоммуникационные технологии @ikt-psuti
Рубрика: Управление и подготовка кадров для отрасли инфокоммуникаций
Статья в выпуске: 3 т.11, 2013 года.
Бесплатный доступ
The article deals with the formal presentation of the basic analytical properties of the systems that control the parallel processes and resources. These views should be the basis for an analytic representation of these algorithms to provide the basic requirements for control systems that determine their reliability and efficiency. Description of properties of control systems is based on the use of event models of nondeterministic automata (SNDA).
Processes, resources, event control, analytical representation of algorithms, nondeterministic automata, control systems
Короткий адрес: https://sciup.org/140191655
IDR: 140191655
