test/uscxml/promela/test-history.scxml


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>