1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
3
<net active="true" id="TAPN1" type="P/T net">
4
<place id="Empty1" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Empty1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="30.0"/>
5
<place id="Empty2" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Empty2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="165.0"/>
6
<place id="Empty3" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Empty3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="330.0"/>
7
<place id="P36" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P36" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="165.0"/>
8
<place id="P37" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P37" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="345.0"/>
9
<transition angle="0" id="T15" infiniteServer="false" name="T15" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="90.0" priority="1" timed="false"/>
10
<transition angle="0" id="T16" infiniteServer="false" name="T16" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="90.0" priority="1" timed="false"/>
11
<transition angle="0" id="T17" infiniteServer="false" name="T17" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="90.0" priority="1" timed="false"/>
12
<transition angle="0" id="T18" infiniteServer="false" name="T18" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="255.0" priority="1" timed="false"/>
13
<transition angle="0" id="T19" infiniteServer="false" name="T19" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="255.0" priority="1" timed="false"/>
14
<transition angle="0" id="T20" infiniteServer="false" name="T20" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="255.0" priority="1" timed="false"/>
15
<transition angle="0" id="T21" infiniteServer="false" name="T21" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="405.0" priority="1" timed="false"/>
16
<arc id="Empty1 to T15" inscription="[0,inf):1" source="Empty1" target="T15" type="transport">
17
<arcpath arcPointType="false" id="0" xCoord="268" yCoord="48"/>
18
<arcpath arcPointType="false" id="1" xCoord="167" yCoord="97"/>
20
<arc id="T15 to Empty2" inscription="[0,inf):1" source="T15" target="Empty2" type="transport">
21
<arcpath arcPointType="false" id="0" xCoord="162" yCoord="117"/>
22
<arcpath arcPointType="false" id="1" xCoord="162" yCoord="102"/>
23
<arcpath arcPointType="false" id="2" xCoord="269" yCoord="169"/>
25
<arc id="Empty2 to T18" inscription="[0,inf):1" source="Empty2" target="T18" type="transport">
26
<arcpath arcPointType="false" id="0" xCoord="269" yCoord="185"/>
27
<arcpath arcPointType="false" id="1" xCoord="167" yCoord="259"/>
29
<arc id="T18 to Empty3" inscription="[0,inf):1" source="T18" target="Empty3" type="transport">
30
<arcpath arcPointType="false" id="0" xCoord="162" yCoord="282"/>
31
<arcpath arcPointType="false" id="1" xCoord="162" yCoord="267"/>
32
<arcpath arcPointType="false" id="2" xCoord="269" yCoord="334"/>
34
<arc id="Empty1 to T16" inscription="[0,inf):1" source="Empty1" target="T16" type="transport">
35
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="56"/>
36
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="87"/>
38
<arc id="T16 to Empty2" inscription="[0,inf):1" source="T16" target="Empty2" type="transport">
39
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="117"/>
40
<arcpath arcPointType="false" id="1" xCoord="285" yCoord="162"/>
42
<arc id="Empty1 to T17" inscription="[0,inf):1" source="Empty1" target="T17" type="transport">
43
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="48"/>
44
<arcpath arcPointType="false" id="1" xCoord="397" yCoord="97"/>
46
<arc id="T17 to Empty2" inscription="[0,inf):1" source="T17" target="Empty2" type="transport">
47
<arcpath arcPointType="false" id="0" xCoord="396" yCoord="107"/>
48
<arcpath arcPointType="false" id="1" xCoord="294" yCoord="169"/>
50
<arc id="Empty2 to T19" inscription="[0,inf):1" source="Empty2" target="T19" type="transport">
51
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="191"/>
52
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="252"/>
54
<arc id="T19 to Empty3" inscription="[0,inf):1" source="T19" target="Empty3" type="transport">
55
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="282"/>
56
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="327"/>
58
<arc id="Empty2 to T20" inscription="[0,inf):1" source="Empty2" target="T20" type="transport">
59
<arcpath arcPointType="false" id="0" xCoord="293" yCoord="186"/>
60
<arcpath arcPointType="false" id="1" xCoord="382" yCoord="262"/>
62
<arc id="T20 to Empty3" inscription="[0,inf):1" source="T20" target="Empty3" type="transport">
63
<arcpath arcPointType="false" id="0" xCoord="381" yCoord="272"/>
64
<arcpath arcPointType="false" id="1" xCoord="294" yCoord="333"/>
66
<arc id="Empty3 to T21" inscription="[0,inf)" source="Empty3" target="T21" type="timed">
67
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="356"/>
68
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="402"/>
70
<arc id="T17 to P36" inscription="1" source="T17" target="P36" type="normal">
71
<arcpath arcPointType="false" id="0" xCoord="406" yCoord="102"/>
72
<arcpath arcPointType="false" id="1" xCoord="509" yCoord="168"/>
74
<arc id="T16 to P36" inscription="1" source="T16" target="P36" type="normal">
75
<arcpath arcPointType="false" id="0" xCoord="301" yCoord="102"/>
76
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="172"/>
78
<arc id="T15 to P36" inscription="1" source="T15" target="P36" type="normal">
79
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="107"/>
80
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="174"/>
82
<arc id="P36 to T20" inscription="[0,inf)" source="P36" target="T20" type="timed">
83
<arcpath arcPointType="false" id="0" xCoord="509" yCoord="185"/>
84
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="262"/>
86
<arc id="P36 to T19" inscription="[0,inf)" source="P36" target="T19" type="timed">
87
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="182"/>
88
<arcpath arcPointType="false" id="1" xCoord="287" yCoord="262"/>
90
<arc id="P36 to T18" inscription="[0,inf)" source="P36" target="T18" type="timed">
91
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="180"/>
92
<arcpath arcPointType="false" id="1" xCoord="167" yCoord="266"/>
94
<arc id="T20 to P37" inscription="1" source="T20" target="P37" type="normal">
95
<arcpath arcPointType="false" id="0" xCoord="391" yCoord="272"/>
96
<arcpath arcPointType="false" id="1" xCoord="509" yCoord="348"/>
98
<arc id="T19 to P37" inscription="1" source="T19" target="P37" type="normal">
99
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="272"/>
100
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="351"/>
102
<arc id="T18 to P37" inscription="1" source="T18" target="P37" type="normal">
103
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="273"/>
104
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="353"/>
106
<arc id="P37 to T21" inscription="[0,inf)" source="P37" target="T21" type="timed">
107
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="360"/>
108
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="417"/>
111
<query active="true" capacity="0" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="EF (TAPN1.Empty1=0 and TAPN1.Empty2=0 and TAPN1.Empty3=0)" reductionOption="VerifyTAPN" searchOption="BFS" symmetry="true" traceOption="NONE"/>