FORMALIZATION AND THE CONSTRUCTION OF A NETWORK MODEL OF TESTING OF THE ELECTRONIC ONBOARD EQUIPMENT OF THE SPACECRAFT WITH THE HELP OF PETRI NETS