TAPAAL

Merge lp:~tapaal-contributor/tapaal/game-example-net into lp:tapaal

  1. game-example-net
  2. Merge into trunk
Proposed by Lena Ernstsen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1081
Merged at revision: 1079
Proposed branch: lp:~tapaal-contributor/tapaal/game-example-net
Merge into: lp:tapaal
Diff against target: 284 lines (+263/-1)
2 files modified
src/pipe/gui/GuiFrame.java (+5/-1)
src/resources/Example nets/game-harddisk.tapn (+258/-0)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/game-example-net
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+388975@code.launchpad.net

Commit message

Added an example net with game features

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Please, give some meaningful name to the query, like e.g. "Never Fail". Is it possible to order the examples so that it comes as the last one? Maybe the files can start with 01 Name.tapn 02 Name.tapn ... etc. to enfoce this?

review: Needs Fixing
Revision history for this message
Jiri Srba (srba) wrote :

Also, please call the net game-harddisk

lp:~tapaal-contributor/tapaal/game-example-net updated
1080. By Lena Ernstsen

Renamed the file and query names. Moved the game example as the last on the list.

Revision history for this message
Jiri Srba (srba) wrote :

The game example is now completely gone.

review: Needs Fixing
lp:~tapaal-contributor/tapaal/game-example-net updated
1081. By Lena Ernstsen

added the net

Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

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

Subscribers

People subscribed via source and target branches