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">
7
<position x="281" y="81"/>
11
<offset x="1" y="16"/>
19
<place id="Attente_P">
21
<position x="121" y="186"/>
25
<offset x="19" y="13"/>
27
<text>Attente_P</text>
35
<position x="281" y="261"/>
39
<offset x="-19" y="-9"/>
49
<position x="41" y="186"/>
53
<offset x="11" y="16"/>
63
<position x="521" y="186"/>
67
<offset x="1" y="21"/>
77
<position x="441" y="186"/>
81
<offset x="11" y="21"/>
89
<place id="Habillage">
91
<position x="361" y="186"/>
95
<offset x="12" y="20"/>
97
<text>Habillage</text>
103
<place id="Deshabillage">
105
<position x="201" y="186"/>
109
<offset x="33" y="20"/>
111
<text>Deshabillage</text>
117
<place id="Baignade">
119
<position x="281" y="186"/>
123
<offset x="15" y="15"/>
125
<text>Baignade</text>
131
<transition id="Entrer_Piscine">
134
<offset x="40" y="15"/>
136
<text>Entrer_Piscine</text>
139
<position x="287" y="310"/>
142
<transition id="R_Panier">
145
<offset x="29" y="-25"/>
147
<text>R_Panier</text>
150
<position x="487" y="185"/>
153
<transition id="P_Cle2">
156
<offset x="18" y="-25"/>
161
<position x="327" y="185"/>
164
<transition id="R_Cles">
167
<offset x="8" y="-26"/>
172
<position x="407" y="185"/>
175
<transition id="P_Cle1">
178
<offset x="12" y="-25"/>
183
<position x="87" y="185"/>
186
<transition id="R_Cle1">
189
<offset x="20" y="-26"/>
194
<position x="247" y="185"/>
197
<transition id="P_Panier">
200
<offset x="39" y="-27"/>
202
<text>P_Panier</text>
205
<position x="167" y="185"/>
208
<arc id="Sortie_to_Entrer_Piscine" source="Sortie" target="Entrer_Piscine" type="normal"/>
209
<arc id="Cabines_to_P_Cle2" source="Cabines" target="P_Cle2" type="normal"/>
210
<arc id="Fini_to_R_Panier" source="Fini" target="R_Panier" type="normal"/>
211
<arc id="Baignade_to_P_Cle2" source="Baignade" target="P_Cle2" type="normal"/>
212
<arc id="Paniers_to_P_Panier" source="Paniers" target="P_Panier" type="normal"/>
213
<arc id="Habillage_to_R_Cles" source="Habillage" target="R_Cles" type="normal"/>
214
<arc id="Cabines_to_P_Cle1" source="Cabines" target="P_Cle1" type="normal"/>
215
<arc id="Entree_to_P_Cle1" source="Entree" target="P_Cle1" type="normal"/>
216
<arc id="Deshabillage_to_R_Cle1" source="Deshabillage" target="R_Cle1" type="normal"/>
217
<arc id="Attente_P_to_P_Panier" source="Attente_P" target="P_Panier" type="normal"/>
218
<arc id="Entrer_Piscine_to_Entree" source="Entrer_Piscine" target="Entree" type="normal"/>
219
<arc id="R_Panier_to_Sortie" source="R_Panier" target="Sortie" type="normal"/>
220
<arc id="R_Cles_to_Fini" source="R_Cles" target="Fini" type="normal"/>
221
<arc id="R_Cle1_to_Baignade" source="R_Cle1" target="Baignade" type="normal"/>
222
<arc id="R_Panier_to_Cabines" source="R_Panier" target="Cabines" type="normal"/>
223
<arc id="R_Cle1_to_Cabines" source="R_Cle1" target="Cabines" type="normal"/>
224
<arc id="P_Cle2_to_Habillage" source="P_Cle2" target="Habillage" type="normal"/>
225
<arc id="R_Cles_to_Paniers" source="R_Cles" target="Paniers" type="normal"/>
226
<arc id="P_Panier_to_Deshabillage" source="P_Panier" target="Deshabillage" type="normal"/>
227
<arc id="P_Cle1_to_Attente_P" source="P_Cle1" target="Attente_P" type="normal"/>
230
<text>ComposedModel</text>