**Wodel applied to probabilistic automata. [Prob. Automata Ecore]**

Changes the initial state [cis]:

```
s0 = modify one State where {isInitial = true} with {isInitial = false}
s1 = modify one State where {self <> s0} with {isInitial = true}
```

Alters transition probabilities [alp]:

```
t0 = select one Transition where {probability = min(probability)}
t1 = select one Transition where {self <> t0 and src = t0->src}
modify t1 with {probability += random(0.0, t0.probability)}
t2 = select one Transition where {self <> t0 and self <> t1 and src = t0->src}
modify t2 with {probability -= t1.probability}
```

Changes the target state of a transition [cts]:

```
modify target tar from one Transition to other State
```

Creates a new transition [cnt]:

```
t0 = select one Transition where {probability = min(probability)}
t1 = select one Transition where {self <> t0 and src = t0->src}
t2 = create Transition with {probability = random(0.0, t0.probability), src = t0->src}
modify t1 with {probability -= t2.probability}
```

Here you can download all these examples of Wodel applied to probabilistic automata.

Prob. Automata samples .zip

Prob. Automata samples .tar.gz

### Acknowledgements

This work has been funded by the Spanish Ministry of Science (RTI2018-095255-B-I00, project "MASSIVE") and the R&D programme of Madrid (P2018/TCS-4314, project "FORTE").