1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
3
<net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">
5
<place id="Shared_varA">
7
<position x="150" y="75"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_varA</text>
19
<place id="Shared_varB">
21
<position x="465" y="75"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_varB</text>
33
<place id="numberGuesser_P0">
35
<position x="315" y="75"/>
39
<offset x="-5" y="35"/>
41
<text>numberGuesser_P0</text>
47
<place id="numberGuesser_P1">
49
<position x="315" y="195"/>
53
<offset x="-5" y="35"/>
55
<text>numberGuesser_P1</text>
61
<place id="numberGuesser_P2">
63
<position x="315" y="15"/>
67
<offset x="-5" y="35"/>
69
<text>numberGuesser_P2</text>
75
<place id="compareProduct_P2">
77
<position x="855" y="375"/>
81
<offset x="-5" y="35"/>
83
<text>compareProduct_P2</text>
89
<place id="compareProduct_P3">
91
<position x="870" y="105"/>
95
<offset x="-5" y="35"/>
97
<text>compareProduct_P3</text>
103
<place id="compareProduct_P4">
105
<position x="945" y="330"/>
109
<offset x="-5" y="35"/>
111
<text>compareProduct_P4</text>
117
<place id="compareProduct_input">
119
<position x="1080" y="210"/>
123
<offset x="-5" y="35"/>
125
<text>compareProduct_input</text>
131
<transition id="numberGuesser_stopgenerating">
134
<offset x="-5" y="35"/>
136
<text>numberGuesser_stopgenerating</text>
139
<position x="315" y="135"/>
142
<transition id="numberGuesser_T1">
145
<offset x="-5" y="35"/>
147
<text>numberGuesser_T1</text>
150
<position x="390" y="75"/>
153
<transition id="numberGuesser_T2">
156
<offset x="-5" y="35"/>
158
<text>numberGuesser_T2</text>
161
<position x="225" y="75"/>
164
<transition id="compareProduct_discard">
167
<offset x="-5" y="35"/>
169
<text>compareProduct_discard</text>
172
<position x="795" y="30"/>
175
<transition id="compareProduct_T1">
178
<offset x="-5" y="35"/>
180
<text>compareProduct_T1</text>
183
<position x="720" y="120"/>
186
<transition id="compareProduct_T2">
189
<offset x="-5" y="35"/>
191
<text>compareProduct_T2</text>
194
<position x="840" y="210"/>
197
<transition id="compareProduct_T3">
200
<offset x="-5" y="35"/>
202
<text>compareProduct_T3</text>
205
<position x="705" y="375"/>
208
<transition id="compareProduct_T4">
211
<offset x="-5" y="35"/>
213
<text>compareProduct_T4</text>
216
<position x="1005" y="255"/>
219
<arc id="numberGuesser_P0_to_numberGuesser_T2" source="numberGuesser_P0" target="numberGuesser_T2" type="normal"/>
220
<arc id="numberGuesser_P0_to_numberGuesser_T1" source="numberGuesser_P0" target="numberGuesser_T1" type="normal"/>
221
<arc id="numberGuesser_P0_to_numberGuesser_stopgenerating" source="numberGuesser_P0" target="numberGuesser_stopgenerating" type="normal"/>
222
<arc id="numberGuesser_P2_to_numberGuesser_T2" source="numberGuesser_P2" target="numberGuesser_T2" type="normal"/>
223
<arc id="numberGuesser_P2_to_numberGuesser_T1" source="numberGuesser_P2" target="numberGuesser_T1" type="normal"/>
224
<arc id="Shared_varA_to_compareProduct_T1" source="Shared_varA" target="compareProduct_T1" type="normal"/>
225
<arc id="compareProduct_P3_to_compareProduct_discard" source="compareProduct_P3" target="compareProduct_discard" type="normal"/>
226
<arc id="compareProduct_P3_to_compareProduct_T2" source="compareProduct_P3" target="compareProduct_T2" type="normal"/>
227
<arc id="Shared_varB_to_compareProduct_T2" source="Shared_varB" target="compareProduct_T2" type="normal"/>
228
<arc id="compareProduct_P2_to_compareProduct_T3" source="compareProduct_P2" target="compareProduct_T3" type="normal"/>
229
<arc id="compareProduct_P4_to_compareProduct_T4" source="compareProduct_P4" target="compareProduct_T4" type="normal"/>
230
<arc id="compareProduct_input_to_compareProduct_T4" source="compareProduct_input" target="compareProduct_T4" type="normal"/>
231
<arc id="numberGuesser_T2_to_numberGuesser_P0" source="numberGuesser_T2" target="numberGuesser_P0" type="normal"/>
232
<arc id="numberGuesser_T1_to_numberGuesser_P0" source="numberGuesser_T1" target="numberGuesser_P0" type="normal"/>
233
<arc id="numberGuesser_T1_to_Shared_varB" source="numberGuesser_T1" target="Shared_varB" type="normal"/>
234
<arc id="numberGuesser_T2_to_Shared_varA" source="numberGuesser_T2" target="Shared_varA" type="normal"/>
235
<arc id="numberGuesser_stopgenerating_to_numberGuesser_P1" source="numberGuesser_stopgenerating" target="numberGuesser_P1" type="normal"/>
236
<arc id="compareProduct_T1_to_compareProduct_P3" source="compareProduct_T1" target="compareProduct_P3" type="normal"/>
237
<arc id="compareProduct_T3_to_Shared_varB" source="compareProduct_T3" target="Shared_varB" type="normal"/>
238
<arc id="compareProduct_T2_to_compareProduct_P2" source="compareProduct_T2" target="compareProduct_P2" type="normal"/>
239
<arc id="compareProduct_T2_to_compareProduct_P4" source="compareProduct_T2" target="compareProduct_P4" type="normal"/>
240
<arc id="compareProduct_T2_to_compareProduct_P3" source="compareProduct_T2" target="compareProduct_P3" type="normal"/>
241
<arc id="compareProduct_P3_to_compareProduct_T3" source="compareProduct_P3" target="compareProduct_T3" type="inhibitor"/>
242
<arc id="Shared_varA_to_compareProduct_T4" source="Shared_varA" target="compareProduct_T4" type="inhibitor"/>
243
<arc id="compareProduct_P3_to_compareProduct_T4" source="compareProduct_P3" target="compareProduct_T4" type="inhibitor"/>
244
<arc id="compareProduct_P3_to_compareProduct_T1" source="compareProduct_P3" target="compareProduct_T1" type="inhibitor"/>
245
<arc id="compareProduct_P2_to_compareProduct_T1" source="compareProduct_P2" target="compareProduct_T1" type="inhibitor"/>
248
<text>ComposedModel</text>