1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
3
<constant name="TimeBetweenFloors" value="3"/>
4
<net active="true" id="TAPN1" type="P/T net">
5
<place id="P16" initialMarking="1" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P16" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="60.0"/>
6
<place id="P17" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P17" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="240.0"/>
7
<place id="P18" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P18" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="420.0"/>
8
<place id="P19" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P19" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="600.0"/>
9
<place id="P20" initialMarking="1" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P20" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="495.0" positionY="330.0"/>
10
<place id="Up" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Up" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="45.0" positionY="345.0"/>
11
<transition angle="0" id="T25" infiniteServer="false" name="T25" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="150.0" priority="0"/>
12
<transition angle="0" id="T26" infiniteServer="false" name="T26" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="255.0" positionY="150.0" priority="0"/>
13
<transition angle="0" id="T27" infiniteServer="false" name="T27" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="330.0" priority="0"/>
14
<transition angle="0" id="T28" infiniteServer="false" name="T28" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="255.0" positionY="330.0" priority="0"/>
15
<transition angle="0" id="T29" infiniteServer="false" name="T29" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="510.0" priority="0"/>
16
<transition angle="0" id="T30" infiniteServer="false" name="T30" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="255.0" positionY="510.0" priority="0"/>
17
<transition angle="0" id="T31" infiniteServer="false" name="T31" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="45.0" positionY="510.0" priority="0"/>
18
<arc id="P16 to T26" inscription="[0,inf):1" source="P16" target="T26" type="transport" weight="1">
19
<arcpath arcPointType="false" id="0" xCoord="229" yCoord="84"/>
20
<arcpath arcPointType="false" id="1" xCoord="267" yCoord="147"/>
22
<arc id="T26 to P17" inscription="[0,inf):1" source="T26" target="P17" type="transport" weight="1">
23
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="177"/>
24
<arcpath arcPointType="false" id="1" xCoord="229" yCoord="239"/>
26
<arc id="P17 to T28" inscription="[0,inf):1" source="P17" target="T28" type="transport" weight="1">
27
<arcpath arcPointType="false" id="0" xCoord="229" yCoord="264"/>
28
<arcpath arcPointType="false" id="1" xCoord="267" yCoord="327"/>
30
<arc id="T28 to P18" inscription="[0,inf):1" source="T28" target="P18" type="transport" weight="1">
31
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="357"/>
32
<arcpath arcPointType="false" id="1" xCoord="229" yCoord="419"/>
34
<arc id="P18 to T30" inscription="[0,inf):1" source="P18" target="T30" type="transport" weight="1">
35
<arcpath arcPointType="false" id="0" xCoord="229" yCoord="444"/>
36
<arcpath arcPointType="false" id="1" xCoord="267" yCoord="507"/>
38
<arc id="T30 to P19" inscription="[0,inf):1" source="T30" target="P19" type="transport" weight="1">
39
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="537"/>
40
<arcpath arcPointType="false" id="1" xCoord="229" yCoord="599"/>
42
<arc id="P19 to T29" inscription="[0,inf):1" source="P19" target="T29" type="transport" weight="1">
43
<arcpath arcPointType="false" id="0" xCoord="214" yCoord="599"/>
44
<arcpath arcPointType="false" id="1" xCoord="177" yCoord="537"/>
46
<arc id="T29 to P18" inscription="[0,inf):1" source="T29" target="P18" type="transport" weight="1">
47
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="507"/>
48
<arcpath arcPointType="false" id="1" xCoord="214" yCoord="444"/>
50
<arc id="P18 to T27" inscription="[0,inf):1" source="P18" target="T27" type="transport" weight="1">
51
<arcpath arcPointType="false" id="0" xCoord="214" yCoord="419"/>
52
<arcpath arcPointType="false" id="1" xCoord="177" yCoord="357"/>
54
<arc id="T27 to P17" inscription="[0,inf):1" source="T27" target="P17" type="transport" weight="1">
55
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="327"/>
56
<arcpath arcPointType="false" id="1" xCoord="214" yCoord="264"/>
58
<arc id="P17 to T25" inscription="[0,inf):1" source="P17" target="T25" type="transport" weight="1">
59
<arcpath arcPointType="false" id="0" xCoord="214" yCoord="239"/>
60
<arcpath arcPointType="false" id="1" xCoord="177" yCoord="177"/>
62
<arc id="T25 to P16" inscription="[0,inf):1" source="T25" target="P16" type="transport" weight="1">
63
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="168"/>
64
<arcpath arcPointType="false" id="1" xCoord="179" yCoord="164"/>
65
<arcpath arcPointType="false" id="2" xCoord="215" yCoord="85"/>
67
<arc id="P20 to T25" inscription="[0,inf)" source="P20" target="T25" type="timed" weight="1">
68
<arcpath arcPointType="false" id="0" xCoord="493" yCoord="334"/>
69
<arcpath arcPointType="false" id="1" xCoord="182" yCoord="161"/>
71
<arc id="P20 to T27" inscription="[0,inf)" source="P20" target="T27" type="timed" weight="1">
72
<arcpath arcPointType="false" id="0" xCoord="492" yCoord="342"/>
73
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="347"/>
75
<arc id="P20 to T29" inscription="[0,inf)" source="P20" target="T29" type="timed" weight="1">
76
<arcpath arcPointType="false" id="0" xCoord="493" yCoord="349"/>
77
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="527"/>
79
<arc id="P20 to T30" inscription="[0,inf)" source="P20" target="T30" type="timed" weight="1">
80
<arcpath arcPointType="false" id="0" xCoord="495" yCoord="351"/>
81
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="527"/>
83
<arc id="P20 to T28" inscription="[0,inf)" source="P20" target="T28" type="timed" weight="1">
84
<arcpath arcPointType="false" id="0" xCoord="492" yCoord="342"/>
85
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="347"/>
87
<arc id="P20 to T26" inscription="[0,inf)" source="P20" target="T26" type="timed" weight="1">
88
<arcpath arcPointType="false" id="0" xCoord="494" yCoord="333"/>
89
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="167"/>
91
<arc id="T30 to P20" inscription="1" source="T30" target="P20" type="normal" weight="1">
92
<arcpath arcPointType="false" id="0" xCoord="272" yCoord="517"/>
93
<arcpath arcPointType="false" id="1" xCoord="494" yCoord="350"/>
95
<arc id="T29 to P20" inscription="1" source="T29" target="P20" type="normal" weight="1">
96
<arcpath arcPointType="false" id="0" xCoord="182" yCoord="517"/>
97
<arcpath arcPointType="false" id="1" xCoord="493" yCoord="349"/>
99
<arc id="T28 to P20" inscription="1" source="T28" target="P20" type="normal" weight="1">
100
<arcpath arcPointType="false" id="0" xCoord="272" yCoord="337"/>
101
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="341"/>
103
<arc id="T27 to P20" inscription="1" source="T27" target="P20" type="normal" weight="1">
104
<arcpath arcPointType="false" id="0" xCoord="182" yCoord="337"/>
105
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="341"/>
107
<arc id="T25 to P20" inscription="1" source="T25" target="P20" type="normal" weight="1">
108
<arcpath arcPointType="false" id="0" xCoord="182" yCoord="154"/>
109
<arcpath arcPointType="false" id="1" xCoord="494" yCoord="334"/>
111
<arc id="T26 to P20" inscription="1" source="T26" target="P20" type="normal" weight="1">
112
<arcpath arcPointType="false" id="0" xCoord="272" yCoord="157"/>
113
<arcpath arcPointType="false" id="1" xCoord="495" yCoord="332"/>
115
<arc id="T26 to Up" inscription="1" source="T26" target="Up" type="normal" weight="1">
116
<arcpath arcPointType="false" id="0" xCoord="261" yCoord="162"/>
117
<arcpath arcPointType="false" id="1" xCoord="67" yCoord="346"/>
119
<arc id="Up to T27" inscription="[0,inf)" source="Up" target="T27" type="tapnInhibitor" weight="1">
120
<arcpath arcPointType="false" id="0" xCoord="71" yCoord="355"/>
121
<arcpath arcPointType="false" id="1" xCoord="171" yCoord="342"/>
123
<arc id="Up to T25" inscription="[0,inf)" source="Up" target="T25" type="tapnInhibitor" weight="1">
124
<arcpath arcPointType="false" id="0" xCoord="64" yCoord="344"/>
125
<arcpath arcPointType="false" id="1" xCoord="171" yCoord="162"/>
127
<arc id="Up to T31" inscription="[0,inf)" source="Up" target="T31" type="timed" weight="1">
128
<arcpath arcPointType="false" id="0" xCoord="57" yCoord="371"/>
129
<arcpath arcPointType="false" id="1" xCoord="57" yCoord="507"/>
131
<arc id="T31 to P19" inscription="1" source="T31" target="P19" type="normal" weight="1">
132
<arcpath arcPointType="false" id="0" xCoord="62" yCoord="517"/>
133
<arcpath arcPointType="false" id="1" xCoord="209" yCoord="604"/>
135
<arc id="Up to T29" inscription="[0,inf)" source="Up" target="T29" type="tapnInhibitor" weight="1">
136
<arcpath arcPointType="false" id="0" xCoord="65" yCoord="369"/>
137
<arcpath arcPointType="false" id="1" xCoord="171" yCoord="522"/>
139
<arc id="P19 to T31" inscription="[0,inf)" source="P19" target="T31" type="timed" weight="1">
140
<arcpath arcPointType="false" id="0" xCoord="208" yCoord="604"/>
141
<arcpath arcPointType="false" id="1" xCoord="61" yCoord="527"/>
143
<arc id="T28 to Up" inscription="1" source="T28" target="Up" type="normal" weight="1">
144
<arcpath arcPointType="false" id="0" xCoord="261" yCoord="342"/>
145
<arcpath arcPointType="false" id="1" xCoord="71" yCoord="355"/>
147
<arc id="T30 to Up" inscription="1" source="T30" target="Up" type="normal" weight="1">
148
<arcpath arcPointType="false" id="0" xCoord="261" yCoord="522"/>
149
<arcpath arcPointType="false" id="1" xCoord="68" yCoord="366"/>
152
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="EF TAPN1.P19=1" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
153
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="AG (TAPN1.P17=0 or TAPN1.P16=0 or TAPN1.P18=0 or TAPN1.P19=0)" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
154
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="EF TAPN1.P18=2" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>