A method for describing systems with complex behavior based on the principles of generalized automata

Automata-based models are most convenient for designing systems with complex behavior, but they have a number of limitations, such as the lack of support for asynchrony and concurrency. Special language tools, both graphic and textual are often used to describe such models. The article presents a method for describing systems with complex behavior using the high-level programming language CIAO (Cooperative Interaction of Automata Objects). The program of this language generates a system of automatic machines, which simulate the functioning of the initial reactive system.