Аннотация:
Досліджено поведінковий робочий контроль, що заснований на взаємодії поширених
мереж Петрі-Маркова і автоматних експериментів, які розпізнають поведінку. У контролі використані
ідентифікатори і контрольні примітиви, як базис, і сигнатура операцій і відношень контролю. Модель
контролю дозволяє визначати умови, а процедура – основні кроки контролю мережевих систем.