blob: a95592e99de7dad058eba1abf809b6a2dcec0c86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- define var1 with default value 0. Parent will invoke this process setting var1 = 1. Return event1 if var1 == 1, event0 otherwise -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="promela">
<datamodel>
<data id="Var1" type="int" expr="0"/>
</datamodel>
<state id="s0">
<transition cond="Var1==1" target="final">
<send target="#_parent" event="event1"/>
</transition>
<transition target="final">
<send target="#_parent" event="event0"/>
</transition>
</state>
<final id="final"/>
</scxml>
|
