1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
<?xml version="1.0"?>
<!-- This event-tree is meant to test the set-house-event instruction. -->
<!-- Other than that, this event-tree is not meaningful. -->
<opsa-mef>
<define-initiating-event name="ExternalEvent" event-tree="ThreeMotor"/>
<define-rule name="root">
<collect-formula>
<gate name="E1"/>
</collect-formula>
</define-rule>
<define-event-tree name="ThreeMotor">
<define-functional-event name="KT1"/>
<define-functional-event name="KT2"/>
<define-functional-event name="KT3"/>
<define-sequence name="S1">
<rule name="root"/>
</define-sequence>
<define-sequence name="S2">
<rule name="root"/>
</define-sequence>
<define-sequence name="S3">
<rule name="root"/>
</define-sequence>
<define-sequence name="S4">
<rule name="root"/>
</define-sequence>
<define-sequence name="S5">
<rule name="root"/>
</define-sequence>
<define-sequence name="S6">
<rule name="root"/>
</define-sequence>
<define-sequence name="S7">
<rule name="root"/>
</define-sequence>
<define-sequence name="S8">
<rule name="root"/>
</define-sequence>
<initial-state>
<set-house-event name="KT1">
<constant value="false"/>
</set-house-event>
<set-house-event name="KT2">
<constant value="false"/>
</set-house-event>
<set-house-event name="KT3">
<constant value="false"/>
</set-house-event>
<fork functional-event="KT1">
<path state="true">
<set-house-event name="KT1">
<constant value="true"/>
</set-house-event>
<fork functional-event="KT2">
<path state="true">
<set-house-event name="KT2">
<constant value="true"/>
</set-house-event>
<fork functional-event="KT3">
<path state="true">
<set-house-event name="KT3">
<constant value="true"/>
</set-house-event>
<sequence name="S1"/>
</path>
<path state="false">
<sequence name="S2"/>
</path>
</fork>
</path>
<path state="false">
<fork functional-event="KT3">
<path state="true">
<set-house-event name="KT3">
<constant value="true"/>
</set-house-event>
<sequence name="S3"/>
</path>
<path state="false">
<sequence name="S4"/>
</path>
</fork>
</path>
</fork>
</path>
<path state="false">
<fork functional-event="KT2">
<path state="true">
<set-house-event name="KT2">
<constant value="true"/>
</set-house-event>
<fork functional-event="KT3">
<path state="true">
<set-house-event name="KT3">
<constant value="true"/>
</set-house-event>
<sequence name="S5"/>
</path>
<path state="false">
<sequence name="S6"/>
</path>
</fork>
</path>
<path state="false">
<fork functional-event="KT3">
<path state="true">
<set-house-event name="KT3">
<constant value="true"/>
</set-house-event>
<sequence name="S7"/>
</path>
<path state="false">
<sequence name="S8"/>
</path>
</fork>
</path>
</fork>
</path>
</fork>
</initial-state>
</define-event-tree>
</opsa-mef>
|
