Some models defined for studying the behaviour of parallel processes on the base of automata theory. Theory of Petri nets. Process algebras.