Средства системы рабочего контроля, применяемые для сложных сетевых компьютерных систем, проверяют их поведенческие свойства, что находит отражение в построении сценариев проверки. В работе представлена система поведенческого рабочего контроля сетевых компьютерных систем на основе модели расширенных сетей Петри, отличающейся распределенной идентификацией контрольных примитивов, операциями композиции фрагментов и определением условий поведенческого рабочего контроля
The tools of the operational check system, that are used into complex network computer systems, check their behavioral properties. Usually it’s reflected in the construction of verification scripts for computer systems. This paper presents a system of behavioral operational check of network computer systems and based on the extended Petri nets model. This system is distinguished by the distributed identification of check primitives, operations of fragment compositions and the definition of conditions for behavioral operational check
