test/uscxml/promela/test-simple.scxml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

<!-- 
  Simple example
  
  $ uscxml-transform -s -i this_file.scxml > test.pml
  $ spin -p -l -h test.pml
-->
<scxml datamodel="promela">
  <state id="s0">
    <onentry>
      <raise event="foo" />
    </onentry>
    <transition event="foo" target="s1" />
  </state>
  <state id="s1" final="true" />
</scxml>