The development of the general theory of automated manufacturing systems (AMSs) which involve automatic transfer lines, comprehensively mechanized lines, robotic systems, flexible manufacturing systems, integrated systems gives rise to objective necessily to simulate its structure, functioning, dynamics, reliability and stability of operation, production of some amount of goods, stay time of products and so on. As far as time and space are concerned, functioning of AMS is approximately represented by Markovian chains. Various urgent aspects of operation of some AMSs are represented in original and fundamental works by Little, Koenigsberg, Hatcher, Hiller and others. Alongside it, the development of the general theory of AMS is very important, because representation of structure and operation of AMS in the form of mathematical models is necessary for its realization. While carrying out synthesis and analysis of AMS's structure construction of mathematical models is also necessary. In this paper the algorithm of forming is given and the most general and informationally widened topological and mathematical models of open, closed and mixed AMSs in the form of three-dimensional node graphs, binary sets, mutual relations, numerical sequences, degree polynomials, different matrices and collections of algebraic equations are constructed. Fields of models' practical application are given.