Description: The process of verifying the software of the classification system for airborne objects in the control of airspace in fuzzy formulation is considered as a process for studying dynamic interacting processes. It is argued that traditional approaches do not allow software to be verified with a given quality when solving the problem of classifying air objects in automated airspace monitoring systems in a given formulation. The purpose of the article is to formalize the presentation of dynamic interacting processes in the state space of a fuzzy colored Petri net for verifying the software of a fuzzy logical system for classifying air objects in automated airspace control systems. The main works in the field of theory and practice of application of Petri nets, used to study the dynamic interacting processes in general, and directly to verify the software of various systems, are analyzed. Requirements for Petri nets have been put forward for solving problems of this class. The conditions for resolving when repre-senting interacting processes for various cases that differ in the number of input and (or) output transitions are determined. A fuzzy colored Petri net (for logical operations AND, OR, NOT) and the corresponding membership functions were used to de-scribe the components of the verification model of the software for the classification of air objects represented by predicate logic. The developed approach to representing dynamic interacting processes in the state space of a fuzzy colored Petri net for verify-ing a software product of a fuzzy logical classification system is the basis for developing a base of fuzzy production rules.
Keywords: software, verification, classification, air object, interacting process, fuzzy colored Petri network