Cílem této práce je rozšíření a zobecnění algebraické teorie dynamických modelů založené E. Kindlerem během let 1976--1981. Teorie je rozšířena zavedením některých nových pojmů počítačové terminologie, např. otevřený dynamický systém, uzavřený dynamický systém, pseudoaktivita, transakce apod. Algebraická teorie byla zobecněna v následujících ohledech. a) První zobecnění se týká diskretizace času v dynamickém systému. Existence dynamického systému nemusí být interval reálných čísel, ale může být reprezentována libovolnou lineárně uspořádanou množinou. b) Druhé zobecnění je spojeno se superpozicí dynamických modelů. Můžeme dokázat, že je možno skládat libovolné dva dynamické modely bez ohledu na kompaktnost prvního z nich. Vlastnosti zobecněné superpozice byly dokázány.

The aim of this thesis is the extension and the generalization algebraic theory of dynamic models. The theory is extended by introducing a few new notions into the simulation terminology, e.g. an open dynamic system, a closed dynamic system, a pseudoactivity, a transaction. The algebraic theory is generalized in the following ways: a) The first generalization concerns the discretization of time in a dynamic system. It is found that the existence of dynamic systems may not be an interval of real numbers but it can be represented by any linearly ordered set. b) The second generalization is related to the superposition of dynamic models. It is proved that it is possible to superpose any two dynamic models regardless of the compactness of the first of them. Some properties of the generalized superposition are proved.