Wodel

This page presents Wodel examples for probabilistic automata. The corresponding metamodel is available here: Probabilistic 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}

Changes 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}

Download all the Wodel examples for probabilistic automata here.
Prob. Automata samples (ZIP)
Prob. Automata samples (TAR.GZ)

Acknowledgements

This work was funded by the Spanish Ministry of Science through project “MASSIVE” (RTI2018-095255-B-I00), and by the R&D programme of the Madrid Region through project “FORTE” (P2018/TCS-4314).