Kravets' N. Algebras of predicate operations and thier application in the system of artificial intelligence

The dissertation deals with the development of mathematical models, methods and software tools to formalize the description and modeling of multi-module systems of information service with distributed control using the algebras of predicate operations, Petri nets, and technologies of artificial intelligence. There was proposed to use the tool of fundamental algebra of predicate operations to describe the structure and functioning of an ordinary Petri net and colored Petri net. There was developed the method to define a deadlock marking set for a colored Petri net by means of the tool of fundamental algebra of predicate operations. There was developed the system to interactively imitate a colored Petri net and to analyze its features using intelligent component. Spheres of use are developing of distributed systems.