1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
<scxml datamodel="promela"> <state id="s0"> <history id="h01" type="deep" /> <state id="s01"> <transition target="s02" event="foo" /> <transition target="s1" event="bar" /> </state> <state id="s02"> <script>printf("In S02");</script> <transition target="s1" /> </state> </state> <state id="s1"> <transition target="h01" /> </state> </scxml>