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
|
<?xml version="1.0"?>
<!-- Dummy event tree that must result in Unity -->
<opsa-mef>
<define-initiating-event name="I" event-tree="EventTree"/>
<define-event-tree name="EventTree">
<define-functional-event name="F"/>
<define-sequence name="S"/>
<initial-state>
<fork functional-event="F">
<path state="true">
<collect-formula>
<not>
<gate name="TopEvent"/>
</not>
</collect-formula>
<sequence name="S"/>
</path>
<path state="false">
<collect-formula>
<gate name="TopEvent"/>
</collect-formula>
<sequence name="S"/>
</path>
</fork>
</initial-state>
</define-event-tree>
</opsa-mef>
|
