Для цитирования:

Страхов С.Ю., Карасев А.А., Сотникова Н.В. ФОРМАЛИЗАЦИЯ И ПОСТРОЕНИЕ СЕТЕВОЙ МОДЕЛИ ИСПЫТАНИЙ РАДИОЭЛЕКТРОННОЙ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ. Вопросы радиоэлектроники. 2018;(7):51-58. https://doi.org/10.21778/2218-5453-2018-7-51-58

For citation:

Strakhov S.Yu., Karasev A.A., Sotnikova N.V. FORMALIZATION AND THE CONSTRUCTION OF A NETWORK MODEL OF TESTING OF THE ELECTRONIC ONBOARD EQUIPMENT OF THE SPACECRAFT WITH THE HELP OF PETRI NETS. Issues of radio electronics. 2018;(7):51-58. (In Russ.) https://doi.org/10.21778/2218-5453-2018-7-51-58