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
|
<?xml version="1.0"?>
<!--
This input contains parameters that are in a cycle.
-->
<opsa-mef>
<define-fault-tree name="TopEvent">
<define-gate name="TopEvent">
<or>
<house-event name="BooleanConstant"/>
<basic-event name="CyclicFormula"/>
</or>
</define-gate>
<define-house-event name="BooleanConstant">
<constant value="true"/>
</define-house-event>
<define-basic-event name="CyclicFormula">
<parameter name="Head"/>
</define-basic-event>
<define-parameter name="Head">
<parameter name="Middle"/>
</define-parameter>
<define-parameter name="Middle">
<parameter name="End"/>
</define-parameter>
<define-parameter name="End">
<parameter name="Head"/>
</define-parameter>
</define-fault-tree>
</opsa-mef>
|
