Seti Petri Pri Upravlenii Parallel'nymi Vzaimodeystvuyushchimi Protsessami

V rabote rassmatrivaetsya formalizovannaya tekhnologicheskaya tsepochka proektirovaniya upravlyayushchikh struktur v avtomatizirovannykh sistemakh real'nogo vremeni s parallel'noy obrabotkoy dannykh na baze strukturirovannykh setey Petri s upravlyaemymi perekhodami v rezhime vneshnego dinamicheskogo vektornogo upravleniya. Predlagaemaya metodika proektirovaniya upravlyayushchikh programm vzaimosvyazannykh mikroprotsessornykh struktur i svyazannaya s ney formalizatsiya sootvetstvuyushchikh pravil, protsedur, algoritmov analiza i sinteza prednaznachena dlya studentov, aspirantov i molodykh spetsialistov sootvetstvuyushchikh napravleniy.