  Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product
of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to
$A$ a finite acyclic quiver $\Gamma$ and show that the category of finite
dimensional $A$-modules is equivalent to a full subcategory of the category
${\rm rep}(\Gamma)$ of finite dimensional representations of $\Gamma$. Under
this equivalence, the simple $A$-modules correspond exactly to the
$\theta$-stable representations of $\Gamma$ for some stability parameter
$\theta$. This gives us necessary conditions for an $A$-module to be simple,
conditions which are also sufficient if the module is in general position. Even
though there are indecomposable modules that are not simple, we prove that a
module in general position is always semisimple. We also discuss the
construction of arbitrary finite dimensional modules using nilpotent
representations of quivers. Finally, we apply our results to the case of a free
product of finite groups when $\mathbb{K}$ has characteristic zero.
