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_tmp1">
7
<position x="120" y="240"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_tmp1</text>
19
<place id="Shared_tmp2">
21
<position x="120" y="450"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_tmp2</text>
35
<position x="135" y="60"/>
39
<offset x="-5" y="35"/>
47
<place id="TAPN3_Final">
49
<position x="420" y="615"/>
53
<offset x="-5" y="35"/>
55
<text>TAPN3_Final</text>
63
<position x="630" y="525"/>
67
<offset x="-5" y="35"/>
75
<transition id="TAPN1_T0">
78
<offset x="-5" y="35"/>
83
<position x="135" y="150"/>
86
<transition id="Shared_putitthre">
89
<offset x="-5" y="35"/>
91
<text>Shared_putitthre</text>
94
<position x="255" y="60"/>
97
<transition id="TAPN3_T0">
100
<offset x="-5" y="35"/>
102
<text>TAPN3_T0</text>
105
<position x="420" y="540"/>
108
<arc id="TAPN1_P0_to_Shared_putitthre" source="TAPN1_P0" target="Shared_putitthre" type="normal">
110
<position x="208" y="28"/>
113
<arc id="Shared_tmp2_to_TAPN3_T0" source="Shared_tmp2" target="TAPN3_T0" type="normal"/>
114
<arc id="TAPN3_P2_to_TAPN3_T0" source="TAPN3_P2" target="TAPN3_T0" type="normal"/>
115
<arc id="TAPN3_T0_to_TAPN3_Final" source="TAPN3_T0" target="TAPN3_Final" type="normal"/>
116
<arc id="Shared_putitthre_to_TAPN3_P2" source="Shared_putitthre" target="TAPN3_P2" type="normal"/>
117
<arc id="TAPN1_P0_to_TAPN1_T0" source="TAPN1_P0" target="TAPN1_T0" type="normal"/>
118
<arc id="TAPN1_T0_to_Shared_tmp1" source="TAPN1_T0" target="Shared_tmp1" type="normal"/>
121
<text>ComposedModel</text>