Algoritmy werifikacii i proizwoditel'nosti setewyh protokolow

Monografiq poswqschena opisaniü i prakticheskoj realizacii protokol'nyh ob#ektow osnowannyh na logicheskuü i procedurnuü harakteristiki s ispol'zowaniem posledowatel'noj shemy modelirowaniq (blok-shemy), cherez «uslowiq i sobytiq» na osnowe algoritma ih funkcionirowaniq i setej Petri. Vse, o chem napisano w ätoj monografii, sostawlqet obobschenie nekotorogo opyta i znanij o werifikacii i proizwoditel'nosti protokolow s tochki zreniq komp'üternyh setej. Nesmotrq na to, chto awtor staralsq k shirote ohwata problemy, chitatel' pochuwstwowal, chto znaniq o werifikacii i proizwoditel'nosti protokolow esche daleko ne polny. Nauka zdes' nahoditsq esche w stadii stanowleniq. Jeto proqwlqetsq hotq by w tom, chto ne suschestwuet urawneniq sostoqniq i drugie matematicheskie wyrazheniq, dlq ocenki weroqtnostno-wremennyh harakteristik protokola s tochki zreniq ego prakticheskoj realizacii.