Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / gtnets / dogbone-p.xml
1 <?xml version='1.0'?>
2  <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
3  <platform version="3"> 
4  <AS  id="AS0"  routing="Full">
5  <!---  dogbone
6  -->
7  
8  
9    <host id="S1" power="1000000000"/>
10    <host id="C1" power="1000000000"/>
11    <host id="S2" power="1000000000"/>
12    <host id="C2" power="1000000000"/>
13    <router id="R1"/>
14    <router id="R2"/>
15  
16    <link id="1" bandwidth="100000000" latency="0.01"/>
17    <link id="2" bandwidth="100000000" latency="0.01"/>
18    <link id="3" bandwidth="100000000" latency="0.01"/>
19    <link id="4" bandwidth="100000000" latency="0.01"/>
20    <link id="5" bandwidth="100000000" latency="0.01"/>
21  
22  
23    <route src="S1" dst="C1">
24       <link_ctn id="1"/>
25       <link_ctn id="2"/>
26       <link_ctn id="3"/>
27    </route>
28  
29    <route src="S2" dst="C2">
30       <link_ctn id="4"/>
31       <link_ctn id="2"/>
32       <link_ctn id="5"/>
33    </route>
34  
35    <route src="S1" dst="C2">
36       <link_ctn id="1"/>
37       <link_ctn id="2"/>
38       <link_ctn id="5"/>
39    </route>
40  
41    <route src="S2" dst="C1">
42       <link_ctn id="4"/>
43       <link_ctn id="2"/>
44       <link_ctn id="3"/>
45    </route>
46  
47    <route src="S1" dst="R1">
48       <link_ctn id="1"/>
49    </route>
50  
51    <route src="R1" dst="R2">
52       <link_ctn id="2"/>
53    </route>
54  
55    <route src="R2" dst="C1">
56       <link_ctn id="3"/>
57    </route>
58  
59    <route src="S2" dst="R1">
60       <link_ctn id="4"/>
61    </route>
62  
63    <route src="R2" dst="C2">
64       <link_ctn id="5"/>
65    </route>
66  </AS>
67  </platform>