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_out">
7
<position x="570" y="225"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_out</text>
21
<position x="255" y="225"/>
25
<offset x="-5" y="35"/>
33
<place id="monitor_P1">
35
<position x="990" y="165"/>
39
<offset x="48" y="-23"/>
41
<text>monitor_P1</text>
47
<place id="monitor_P2">
49
<position x="990" y="390"/>
53
<offset x="10" y="50"/>
55
<text>monitor_P2</text>
61
<place id="monitor_goal_reached">
63
<position x="750" y="390"/>
67
<offset x="-5" y="35"/>
69
<text>monitor_goal_reached</text>
75
<transition id="TAPN1_fire">
78
<offset x="-5" y="35"/>
80
<text>TAPN1_fire</text>
83
<position x="405" y="225"/>
86
<transition id="monitor_T0">
89
<offset x="-5" y="35"/>
91
<text>monitor_T0</text>
94
<position x="870" y="165"/>
97
<transition id="monitor_T1">
100
<offset x="-5" y="35"/>
102
<text>monitor_T1</text>
105
<position x="990" y="285"/>
108
<transition id="monitor_T2">
111
<offset x="-5" y="35"/>
113
<text>monitor_T2</text>
116
<position x="855" y="390"/>
119
<arc id="TAPN1_in_to_TAPN1_fire" source="TAPN1_in" target="TAPN1_fire" type="normal"/>
120
<arc id="Shared_out_to_monitor_T0" source="Shared_out" target="monitor_T0" type="normal"/>
121
<arc id="monitor_P1_to_monitor_T1" source="monitor_P1" target="monitor_T1" type="normal"/>
122
<arc id="Shared_out_to_monitor_T1" source="Shared_out" target="monitor_T1" type="normal"/>
123
<arc id="monitor_P2_to_monitor_T2" source="monitor_P2" target="monitor_T2" type="normal"/>
124
<arc id="Shared_out_to_monitor_T2" source="Shared_out" target="monitor_T2" type="normal"/>
125
<arc id="TAPN1_fire_to_Shared_out" source="TAPN1_fire" target="Shared_out" type="normal"/>
126
<arc id="monitor_T0_to_monitor_P1" source="monitor_T0" target="monitor_P1" type="normal"/>
127
<arc id="monitor_T1_to_monitor_P2" source="monitor_T1" target="monitor_P2" type="normal"/>
128
<arc id="monitor_T2_to_monitor_goal_reached" source="monitor_T2" target="monitor_goal_reached" type="normal"/>
131
<text>ComposedModel</text>