<scxml version="1.0" initial="1">
    <state id="1">
        <transition performative="inform" from="initiator" to="B" target="2"/>
    </state>
    <state id="2">
        <transition performative=".*" from="initiator" to="B" target="3"/>
    </state>
    <state id="3" final="yes">
        <transition performative=".*" from="initiator" to="B" target="3"/>
    </state>
</scxml>
