DES - Definition of 'Stochastic Equivalence of Discrete-Event Models'

So given 2 stochastic timed automata ${\mu }_1$, ${\mu }_2$ , described by two 6-tuples $\left(\mathcal{E},\mathcal{X},\Gamma ,p,p_{x_0},F\right)$. To be stochastically equivalent they have to have the same $\left(\mathcal{X},p,p_{x_0},F\right)$ And can have different: $\left(\mathcal{E},\Gamma \right)$ (state set and possible state of events in state $x$)