← Back to branch summary

~tapaal-contributor/tapaal/game-example-net

« back to all changes in this revision

Viewing changes to src/resources/Example nets/game-harddisk.tapn

  • Committer: lsaid
  • Date: 2020-08-11 08:48:52 UTC
  • Revision ID: lena.said@hotmail.com-20200811084852-hjvjibniqups1ww3
added the net

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/resources/Example nets/game-harddisk.tapn
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
 
3
  <shared-place initialMarking="1" invariant="&lt; inf" name="R_3"/>
 
4
  <shared-place initialMarking="1" invariant="&lt; inf" name="R_2"/>
 
5
  <shared-place initialMarking="0" invariant="&lt;= 10" name="Buffer"/>
 
6
  <shared-place initialMarking="1" invariant="&lt; inf" name="R_1"/>
 
7
  <constant name="D" value="3"/>
 
8
  <net active="true" id="harddisk_drive" type="P/T net">
 
9
    <place displayName="true" id="R_3" initialMarking="1" invariant="&lt; inf" name="R_3" nameOffsetX="-15" nameOffsetY="17" positionX="285" positionY="90"/>
 
10
    <place displayName="true" id="W_3" initialMarking="0" invariant="&lt;= 4" name="W_3" nameOffsetX="44" nameOffsetY="-18" positionX="195" positionY="150"/>
 
11
    <place displayName="true" id="track_3" initialMarking="0" invariant="&lt; inf" name="track_3" nameOffsetX="75" nameOffsetY="14" positionX="375" positionY="150"/>
 
12
    <place displayName="true" id="down_2" initialMarking="0" invariant="&lt;= 2" name="down_2" nameOffsetX="-6" nameOffsetY="9" positionX="375" positionY="270"/>
 
13
    <place displayName="true" id="up_3" initialMarking="0" invariant="&lt;= 2" name="up_3" nameOffsetX="89" nameOffsetY="12" positionX="450" positionY="270"/>
 
14
    <place displayName="true" id="track_2" initialMarking="0" invariant="&lt; inf" name="track_2" nameOffsetX="80" nameOffsetY="18" positionX="375" positionY="375"/>
 
15
    <place displayName="true" id="R_2" initialMarking="1" invariant="&lt; inf" name="R_2" nameOffsetX="0" nameOffsetY="0" positionX="270" positionY="315"/>
 
16
    <place displayName="true" id="W_2" initialMarking="0" invariant="&lt;= 4" name="W_2" nameOffsetX="41" nameOffsetY="-12" positionX="195" positionY="375"/>
 
17
    <place displayName="true" id="Buffer" initialMarking="0" invariant="&lt;= 10" name="Buffer" nameOffsetX="0" nameOffsetY="0" positionX="120" positionY="435"/>
 
18
    <place displayName="true" id="down_1" initialMarking="0" invariant="&lt;= 2" name="down_1" nameOffsetX="0" nameOffsetY="9" positionX="375" positionY="495"/>
 
19
    <place displayName="true" id="up_2" initialMarking="0" invariant="&lt;= 2" name="up_2" nameOffsetX="87" nameOffsetY="16" positionX="450" positionY="495"/>
 
20
    <place displayName="true" id="track_1" initialMarking="1" invariant="&lt; inf" name="track_1" nameOffsetX="48" nameOffsetY="49" positionX="375" positionY="600"/>
 
21
    <place displayName="true" id="R_1" initialMarking="1" invariant="&lt; inf" name="R_1" nameOffsetX="0" nameOffsetY="0" positionX="285" positionY="540"/>
 
22
    <place displayName="true" id="W_1" initialMarking="0" invariant="&lt;= 4" name="W_1" nameOffsetX="50" nameOffsetY="-16" positionX="195" positionY="600"/>
 
23
    <transition angle="0" displayName="false" id="T0" infiniteServer="false" name="T0" nameOffsetX="0" nameOffsetY="0" player="0" positionX="285" positionY="150" priority="0" urgent="true"/>
 
24
    <transition angle="0" displayName="false" id="T1" infiniteServer="false" name="T1" nameOffsetX="0" nameOffsetY="0" player="1" positionX="195" positionY="210" priority="0" urgent="false"/>
 
25
    <transition angle="90" displayName="false" id="T2" infiniteServer="false" name="T2" nameOffsetX="0" nameOffsetY="0" player="0" positionX="375" positionY="210" priority="0" urgent="true"/>
 
26
    <transition angle="90" displayName="false" id="T3" infiniteServer="false" name="T3" nameOffsetX="0" nameOffsetY="0" player="1" positionX="450" positionY="210" priority="0" urgent="false"/>
 
27
    <transition angle="90" displayName="false" id="T4" infiniteServer="false" name="T4" nameOffsetX="0" nameOffsetY="0" player="1" positionX="375" positionY="315" priority="0" urgent="false"/>
 
28
    <transition angle="90" displayName="false" id="T5" infiniteServer="false" name="T5" nameOffsetX="0" nameOffsetY="0" player="0" positionX="450" positionY="315" priority="0" urgent="true"/>
 
29
    <transition angle="0" displayName="false" id="T6" infiniteServer="false" name="T6" nameOffsetX="0" nameOffsetY="0" player="0" positionX="270" positionY="375" priority="0" urgent="true"/>
 
30
    <transition angle="0" displayName="false" id="T7" infiniteServer="false" name="T7" nameOffsetX="0" nameOffsetY="0" player="1" positionX="195" positionY="435" priority="0" urgent="false"/>
 
31
    <transition angle="90" displayName="false" id="T8" infiniteServer="false" name="T8" nameOffsetX="0" nameOffsetY="0" player="0" positionX="375" positionY="435" priority="0" urgent="true"/>
 
32
    <transition angle="90" displayName="false" id="T9" infiniteServer="false" name="T9" nameOffsetX="0" nameOffsetY="0" player="1" positionX="450" positionY="435" priority="0" urgent="false"/>
 
33
    <transition angle="90" displayName="false" id="T10" infiniteServer="false" name="T10" nameOffsetX="0" nameOffsetY="0" player="1" positionX="375" positionY="540" priority="0" urgent="false"/>
 
34
    <transition angle="90" displayName="false" id="T11" infiniteServer="false" name="T11" nameOffsetX="0" nameOffsetY="0" player="0" positionX="450" positionY="540" priority="0" urgent="true"/>
 
35
    <transition angle="0" displayName="false" id="T12" infiniteServer="false" name="T12" nameOffsetX="0" nameOffsetY="0" player="0" positionX="285" positionY="600" priority="0" urgent="true"/>
 
36
    <transition angle="0" displayName="false" id="T13" infiniteServer="false" name="T13" nameOffsetX="0" nameOffsetY="0" player="1" positionX="195" positionY="660" priority="0" urgent="false"/>
 
37
    <arc id="A0" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_3" target="T0" type="timed" weight="1">
 
38
      <arcpath arcPointType="false" id="0" xCoord="300" yCoord="120"/>
 
39
      <arcpath arcPointType="false" id="1" xCoord="300" yCoord="150"/>
 
40
    </arc>
 
41
    <arc id="A1" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T0" target="W_3" type="normal" weight="1">
 
42
      <arcpath arcPointType="false" id="0" xCoord="294" yCoord="165"/>
 
43
      <arcpath arcPointType="false" id="1" xCoord="225" yCoord="165"/>
 
44
    </arc>
 
45
    <arc id="A2" inscription="[1,4]" nameOffsetX="-7" nameOffsetY="1" source="W_3" target="T1" type="timed" weight="1">
 
46
      <arcpath arcPointType="false" id="0" xCoord="210" yCoord="180"/>
 
47
      <arcpath arcPointType="false" id="1" xCoord="210" yCoord="210"/>
 
48
    </arc>
 
49
    <arc id="A3" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_3" target="T0" type="timed" weight="1">
 
50
      <arcpath arcPointType="false" id="0" xCoord="375" yCoord="165"/>
 
51
      <arcpath arcPointType="false" id="1" xCoord="304" yCoord="165"/>
 
52
    </arc>
 
53
    <arc id="A4" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T1" target="track_3" type="normal" weight="1">
 
54
      <arcpath arcPointType="false" id="0" xCoord="214" yCoord="225"/>
 
55
      <arcpath arcPointType="false" id="1" xCoord="375" yCoord="169"/>
 
56
    </arc>
 
57
    <arc id="A5" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_3" target="T2" type="timed" weight="1">
 
58
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="179"/>
 
59
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="219"/>
 
60
    </arc>
 
61
    <arc id="A6" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T2" target="down_2" type="normal" weight="1">
 
62
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="229"/>
 
63
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="270"/>
 
64
    </arc>
 
65
    <arc id="A7" inscription="[1,2]" nameOffsetX="32" nameOffsetY="1" source="down_2" target="T4" type="timed" weight="1">
 
66
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="299"/>
 
67
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="324"/>
 
68
    </arc>
 
69
    <arc id="A8" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T3" target="track_3" type="normal" weight="1">
 
70
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="219"/>
 
71
      <arcpath arcPointType="false" id="1" xCoord="402" yCoord="173"/>
 
72
    </arc>
 
73
    <arc id="A9" inscription="[1,2]" nameOffsetX="31" nameOffsetY="7" source="up_3" target="T3" type="timed" weight="1">
 
74
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="270"/>
 
75
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="229"/>
 
76
    </arc>
 
77
    <arc id="A10" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T5" target="up_3" type="normal" weight="1">
 
78
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="324"/>
 
79
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="299"/>
 
80
    </arc>
 
81
    <arc id="A11" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T4" target="track_2" type="normal" weight="1">
 
82
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="334"/>
 
83
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="375"/>
 
84
    </arc>
 
85
    <arc id="A12" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_2" target="T5" type="timed" weight="1">
 
86
      <arcpath arcPointType="false" id="0" xCoord="401" yCoord="380"/>
 
87
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="334"/>
 
88
    </arc>
 
89
    <arc id="A13" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_2" target="T6" type="timed" weight="1">
 
90
      <arcpath arcPointType="false" id="0" xCoord="375" yCoord="390"/>
 
91
      <arcpath arcPointType="false" id="1" xCoord="289" yCoord="390"/>
 
92
    </arc>
 
93
    <arc id="A14" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_2" target="T6" type="timed" weight="1">
 
94
      <arcpath arcPointType="false" id="0" xCoord="285" yCoord="345"/>
 
95
      <arcpath arcPointType="false" id="1" xCoord="285" yCoord="375"/>
 
96
    </arc>
 
97
    <arc id="A15" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T6" target="W_2" type="normal" weight="1">
 
98
      <arcpath arcPointType="false" id="0" xCoord="279" yCoord="390"/>
 
99
      <arcpath arcPointType="false" id="1" xCoord="225" yCoord="390"/>
 
100
    </arc>
 
101
    <arc id="A16" inscription="[1,4]" nameOffsetX="0" nameOffsetY="0" source="W_2" target="T7" type="timed" weight="1">
 
102
      <arcpath arcPointType="false" id="0" xCoord="210" yCoord="405"/>
 
103
      <arcpath arcPointType="false" id="1" xCoord="210" yCoord="435"/>
 
104
    </arc>
 
105
    <arc id="A17" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T7" target="Buffer" type="normal" weight="1">
 
106
      <arcpath arcPointType="false" id="0" xCoord="204" yCoord="450"/>
 
107
      <arcpath arcPointType="false" id="1" xCoord="150" yCoord="450"/>
 
108
    </arc>
 
109
    <arc id="A18" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T7" target="track_2" type="normal" weight="1">
 
110
      <arcpath arcPointType="false" id="0" xCoord="214" yCoord="450"/>
 
111
      <arcpath arcPointType="false" id="1" xCoord="375" yCoord="394"/>
 
112
    </arc>
 
113
    <arc id="A20" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T9" target="track_2" type="normal" weight="1">
 
114
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="444"/>
 
115
      <arcpath arcPointType="false" id="1" xCoord="402" yCoord="398"/>
 
116
    </arc>
 
117
    <arc id="A21" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_2" target="T8" type="timed" weight="1">
 
118
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="404"/>
 
119
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="444"/>
 
120
    </arc>
 
121
    <arc id="A22" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T8" target="down_1" type="normal" weight="1">
 
122
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="454"/>
 
123
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="495"/>
 
124
    </arc>
 
125
    <arc id="A23" inscription="[1,2]" nameOffsetX="33" nameOffsetY="0" source="up_2" target="T9" type="timed" weight="1">
 
126
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="495"/>
 
127
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="454"/>
 
128
    </arc>
 
129
    <arc id="A24" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T11" target="up_2" type="normal" weight="1">
 
130
      <arcpath arcPointType="false" id="0" xCoord="464" yCoord="549"/>
 
131
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="524"/>
 
132
    </arc>
 
133
    <arc id="A25" inscription="[1,2]" nameOffsetX="28" nameOffsetY="4" source="down_1" target="T10" type="timed" weight="1">
 
134
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="524"/>
 
135
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="549"/>
 
136
    </arc>
 
137
    <arc id="A26" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T10" target="track_1" type="normal" weight="1">
 
138
      <arcpath arcPointType="false" id="0" xCoord="389" yCoord="559"/>
 
139
      <arcpath arcPointType="false" id="1" xCoord="389" yCoord="600"/>
 
140
    </arc>
 
141
    <arc id="A27" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_1" target="T11" type="timed" weight="1">
 
142
      <arcpath arcPointType="false" id="0" xCoord="401" yCoord="605"/>
 
143
      <arcpath arcPointType="false" id="1" xCoord="464" yCoord="559"/>
 
144
    </arc>
 
145
    <arc id="A28" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="track_1" target="T12" type="timed" weight="1">
 
146
      <arcpath arcPointType="false" id="0" xCoord="375" yCoord="615"/>
 
147
      <arcpath arcPointType="false" id="1" xCoord="304" yCoord="615"/>
 
148
    </arc>
 
149
    <arc id="A29" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T12" target="W_1" type="normal" weight="1">
 
150
      <arcpath arcPointType="false" id="0" xCoord="294" yCoord="615"/>
 
151
      <arcpath arcPointType="false" id="1" xCoord="225" yCoord="615"/>
 
152
    </arc>
 
153
    <arc id="A30" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_1" target="T12" type="timed" weight="1">
 
154
      <arcpath arcPointType="false" id="0" xCoord="300" yCoord="570"/>
 
155
      <arcpath arcPointType="false" id="1" xCoord="300" yCoord="600"/>
 
156
    </arc>
 
157
    <arc id="A31" inscription="[1,4]" nameOffsetX="33" nameOffsetY="2" source="W_1" target="T13" type="timed" weight="1">
 
158
      <arcpath arcPointType="false" id="0" xCoord="210" yCoord="630"/>
 
159
      <arcpath arcPointType="false" id="1" xCoord="210" yCoord="660"/>
 
160
    </arc>
 
161
    <arc id="A32" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T13" target="track_1" type="normal" weight="1">
 
162
      <arcpath arcPointType="false" id="0" xCoord="214" yCoord="675"/>
 
163
      <arcpath arcPointType="false" id="1" xCoord="375" yCoord="619"/>
 
164
    </arc>
 
165
    <arc id="A33" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T13" target="Buffer" type="normal" weight="1">
 
166
      <arcpath arcPointType="false" id="0" xCoord="204" yCoord="675"/>
 
167
      <arcpath arcPointType="false" id="1" xCoord="139" yCoord="683"/>
 
168
      <arcpath arcPointType="false" id="2" xCoord="135" yCoord="464"/>
 
169
    </arc>
 
170
    <arc id="A34" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="Buffer" target="T1" type="timed" weight="1">
 
171
      <arcpath arcPointType="false" id="0" xCoord="135" yCoord="435"/>
 
172
      <arcpath arcPointType="false" id="1" xCoord="140" yCoord="233"/>
 
173
      <arcpath arcPointType="false" id="2" xCoord="204" yCoord="225"/>
 
174
    </arc>
 
175
  </net>
 
176
  <net active="true" id="stream_requests" type="P/T net">
 
177
    <place displayName="true" id="Buffer" initialMarking="0" invariant="&lt;= 10" name="Buffer" nameOffsetX="89" nameOffsetY="-13" positionX="315" positionY="75"/>
 
178
    <place displayName="true" id="R_1" initialMarking="1" invariant="&lt; inf" name="R_1" nameOffsetX="-10" nameOffsetY="20" positionX="225" positionY="255"/>
 
179
    <place displayName="true" id="R_2" initialMarking="1" invariant="&lt; inf" name="R_2" nameOffsetX="-15" nameOffsetY="17" positionX="315" positionY="255"/>
 
180
    <place displayName="true" id="R_3" initialMarking="1" invariant="&lt; inf" name="R_3" nameOffsetX="-12" nameOffsetY="18" positionX="405" positionY="255"/>
 
181
    <place displayName="true" id="Fail" initialMarking="0" invariant="&lt; inf" name="Fail" nameOffsetX="26" nameOffsetY="46" positionX="315" positionY="435"/>
 
182
    <transition angle="0" displayName="false" id="T0" infiniteServer="false" name="T0" nameOffsetX="0" nameOffsetY="0" player="1" positionX="315" positionY="165" priority="0" urgent="false"/>
 
183
    <transition angle="0" displayName="false" id="T1" infiniteServer="false" name="T1" nameOffsetX="0" nameOffsetY="0" player="1" positionX="225" positionY="165" priority="0" urgent="false"/>
 
184
    <transition angle="0" displayName="false" id="T2" infiniteServer="false" name="T2" nameOffsetX="0" nameOffsetY="0" player="1" positionX="405" positionY="165" priority="0" urgent="false"/>
 
185
    <transition angle="0" displayName="false" id="T3" infiniteServer="false" name="T3" nameOffsetX="0" nameOffsetY="0" player="1" positionX="225" positionY="345" priority="0" urgent="false"/>
 
186
    <transition angle="0" displayName="false" id="T4" infiniteServer="false" name="T4" nameOffsetX="0" nameOffsetY="0" player="1" positionX="315" positionY="345" priority="0" urgent="false"/>
 
187
    <transition angle="0" displayName="false" id="T5" infiniteServer="false" name="T5" nameOffsetX="0" nameOffsetY="0" player="1" positionX="405" positionY="345" priority="0" urgent="false"/>
 
188
    <arc id="A0" inscription="[6,10]" nameOffsetX="0" nameOffsetY="6" source="Buffer" target="T0" type="timed" weight="1">
 
189
      <arcpath arcPointType="false" id="0" xCoord="330" yCoord="105"/>
 
190
      <arcpath arcPointType="false" id="1" xCoord="330" yCoord="165"/>
 
191
    </arc>
 
192
    <arc id="A1" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T0" target="R_2" type="normal" weight="1">
 
193
      <arcpath arcPointType="false" id="0" xCoord="330" yCoord="195"/>
 
194
      <arcpath arcPointType="false" id="1" xCoord="327" yCoord="236"/>
 
195
      <arcpath arcPointType="false" id="2" xCoord="328" yCoord="255"/>
 
196
    </arc>
 
197
    <arc id="A2" inscription="[D,D]" nameOffsetX="0" nameOffsetY="0" source="R_2" target="T4" type="timed" weight="1">
 
198
      <arcpath arcPointType="false" id="0" xCoord="330" yCoord="285"/>
 
199
      <arcpath arcPointType="false" id="1" xCoord="330" yCoord="345"/>
 
200
    </arc>
 
201
    <arc id="A3" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T4" target="Fail" type="normal" weight="1">
 
202
      <arcpath arcPointType="false" id="0" xCoord="330" yCoord="375"/>
 
203
      <arcpath arcPointType="false" id="1" xCoord="330" yCoord="435"/>
 
204
    </arc>
 
205
    <arc id="A6" inscription="[D,D]" nameOffsetX="0" nameOffsetY="0" source="R_3" target="T5" type="timed" weight="1">
 
206
      <arcpath arcPointType="false" id="0" xCoord="420" yCoord="285"/>
 
207
      <arcpath arcPointType="false" id="1" xCoord="420" yCoord="345"/>
 
208
    </arc>
 
209
    <arc id="A7" inscription="[D,D]" nameOffsetX="-3" nameOffsetY="5" source="R_1" target="T3" type="timed" weight="1">
 
210
      <arcpath arcPointType="false" id="0" xCoord="240" yCoord="285"/>
 
211
      <arcpath arcPointType="false" id="1" xCoord="240" yCoord="345"/>
 
212
    </arc>
 
213
    <arc id="A8" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T1" target="R_1" type="normal" weight="1">
 
214
      <arcpath arcPointType="false" id="0" xCoord="240" yCoord="195"/>
 
215
      <arcpath arcPointType="false" id="1" xCoord="238" yCoord="237"/>
 
216
      <arcpath arcPointType="false" id="2" xCoord="239" yCoord="255"/>
 
217
    </arc>
 
218
    <arc id="A9" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T2" target="R_3" type="normal" weight="1">
 
219
      <arcpath arcPointType="false" id="0" xCoord="420" yCoord="195"/>
 
220
      <arcpath arcPointType="false" id="1" xCoord="418" yCoord="238"/>
 
221
      <arcpath arcPointType="false" id="2" xCoord="419" yCoord="255"/>
 
222
    </arc>
 
223
    <arc id="I12" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_1" target="T1" type="tapnInhibitor" weight="1">
 
224
      <arcpath arcPointType="false" id="0" xCoord="249" yCoord="258"/>
 
225
      <arcpath arcPointType="false" id="1" xCoord="267" yCoord="238"/>
 
226
      <arcpath arcPointType="false" id="2" xCoord="240" yCoord="195"/>
 
227
    </arc>
 
228
    <arc id="I13" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_2" target="T0" type="tapnInhibitor" weight="1">
 
229
      <arcpath arcPointType="false" id="0" xCoord="339" yCoord="258"/>
 
230
      <arcpath arcPointType="false" id="1" xCoord="355" yCoord="237"/>
 
231
      <arcpath arcPointType="false" id="2" xCoord="330" yCoord="195"/>
 
232
    </arc>
 
233
    <arc id="I14" inscription="[0,inf)" nameOffsetX="0" nameOffsetY="0" source="R_3" target="T2" type="tapnInhibitor" weight="1">
 
234
      <arcpath arcPointType="false" id="0" xCoord="429" yCoord="258"/>
 
235
      <arcpath arcPointType="false" id="1" xCoord="447" yCoord="238"/>
 
236
      <arcpath arcPointType="false" id="2" xCoord="420" yCoord="195"/>
 
237
    </arc>
 
238
    <arc id="A14" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T3" target="Fail" type="normal" weight="1">
 
239
      <arcpath arcPointType="false" id="0" xCoord="244" yCoord="360"/>
 
240
      <arcpath arcPointType="false" id="1" xCoord="319" yCoord="439"/>
 
241
    </arc>
 
242
    <arc id="A15" inscription="1" nameOffsetX="0" nameOffsetY="0" source="T5" target="Fail" type="normal" weight="1">
 
243
      <arcpath arcPointType="false" id="0" xCoord="414" yCoord="360"/>
 
244
      <arcpath arcPointType="false" id="1" xCoord="340" yCoord="439"/>
 
245
    </arc>
 
246
    <arc id="A16" inscription="[6,10]" nameOffsetX="0" nameOffsetY="0" source="Buffer" target="T1" type="timed" weight="1">
 
247
      <arcpath arcPointType="false" id="0" xCoord="319" yCoord="100"/>
 
248
      <arcpath arcPointType="false" id="1" xCoord="244" yCoord="180"/>
 
249
    </arc>
 
250
    <arc id="A17" inscription="[6,10]" nameOffsetX="32" nameOffsetY="-6" source="Buffer" target="T2" type="timed" weight="1">
 
251
      <arcpath arcPointType="false" id="0" xCoord="340" yCoord="100"/>
 
252
      <arcpath arcPointType="false" id="1" xCoord="414" yCoord="180"/>
 
253
    </arc>
 
254
  </net>
 
255
  <query active="true" approximationDenominator="2" capacity="4" discreteInclusion="false" enableOverApproximation="false" enableUnderApproximation="false" extrapolationOption="null" gcd="false" hashTableSize="null" inclusionPlaces="*NONE*" name="Never Fail" overApproximation="true" pTrie="true" query="AG stream_requests.Fail &lt;= 0" reduction="true" reductionOption="VerifyTAPNdiscreteVerification" searchOption="DFS" symmetry="true" timeDarts="false" traceOption="NONE" useStubbornReduction="true"/>
 
256
  <k-bound bound="3"/>
 
257
  <feature isGame="true" isTimed="true"/>
 
258
</pnml>