← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-subsetsum-test003.xml

  • Committer: Jiri Srba
  • Date: 2014-03-05 07:02:55 UTC
  • mfrom: (40.1.68 reductions)
  • Revision ID: srba@cs.aau.dk-20140305070255-m06q3nl5p2o5wq9q
merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/TAPAAL-test-nets/000-untimed-subsetsum-test003.xml
 
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="Sum" value="877"/>
 
4
<constant name="Start" value="157"/>
 
5
<constant name="Stop" value="1378"/>
 
6
<net active="true" id="TAPN1" type="P/T net">
 
7
<place id="P0" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="300.0" positionY="165.0"/>
 
8
<place id="P1" initialMarking="0" invariant="&lt;= Sum" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="465.0"/>
 
9
<place id="Solution" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Solution" nameOffsetX="-4.0" nameOffsetY="36.0" positionX="495.0" positionY="480.0"/>
 
10
<place id="P2" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="270.0"/>
 
11
<transition angle="0" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="300.0" priority="1" timed="true"/>
 
12
<transition angle="0" id="T5" infiniteServer="false" name="T5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="345.0" positionY="300.0" priority="1" timed="true"/>
 
13
<transition angle="0" id="T7" infiniteServer="false" name="T7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="300.0" priority="1" timed="true"/>
 
14
<transition angle="0" id="T11" infiniteServer="false" name="T11" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="600.0" positionY="300.0" priority="1" timed="true"/>
 
15
<transition angle="0" id="T13" infiniteServer="false" name="T13" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="720.0" positionY="300.0" priority="1" timed="true"/>
 
16
<transition angle="0" id="T17" infiniteServer="false" name="T17" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="300.0" priority="1" timed="true"/>
 
17
<transition angle="0" id="T19" infiniteServer="false" name="T19" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="945.0" positionY="300.0" priority="1" timed="true"/>
 
18
<transition angle="0" id="T23" infiniteServer="false" name="T23" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="1080.0" positionY="300.0" priority="1" timed="true"/>
 
19
<transition angle="0" id="Test" infiniteServer="false" name="Test" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="465.0" priority="1" timed="true"/>
 
20
<transition angle="0" id="T24" infiniteServer="false" name="T24" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="120.0" positionY="360.0" priority="1" timed="false"/>
 
21
<transition angle="0" id="T25" infiniteServer="false" name="T25" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="195.0" positionY="60.0" priority="1" timed="false"/>
 
22
<arc id="P0 to T3" inscription="[0,inf)" source="P0" target="T3" type="timed">
 
23
<arcpath arcPointType="false" id="0" xCoord="303" yCoord="189"/>
 
24
<arcpath arcPointType="false" id="1" xCoord="227" yCoord="307"/>
 
25
</arc>
 
26
<arc id="T3 to P0" inscription="1" source="T3" target="P0" type="normal">
 
27
<arcpath arcPointType="false" id="0" xCoord="226" yCoord="317"/>
 
28
<arcpath arcPointType="false" id="1" xCoord="299" yCoord="284"/>
 
29
<arcpath arcPointType="false" id="2" xCoord="310" yCoord="191"/>
 
30
</arc>
 
31
<arc id="P0 to T5" inscription="[0,inf)" source="P0" target="T5" type="timed">
 
32
<arcpath arcPointType="false" id="0" xCoord="317" yCoord="191"/>
 
33
<arcpath arcPointType="false" id="1" xCoord="357" yCoord="297"/>
 
34
</arc>
 
35
<arc id="T5 to P0" inscription="1" source="T5" target="P0" type="normal">
 
36
<arcpath arcPointType="false" id="0" xCoord="361" yCoord="312"/>
 
37
<arcpath arcPointType="false" id="1" xCoord="389" yCoord="299"/>
 
38
<arcpath arcPointType="false" id="2" xCoord="320" yCoord="189"/>
 
39
</arc>
 
40
<arc id="P0 to T7" inscription="[0,inf)" source="P0" target="T7" type="timed">
 
41
<arcpath arcPointType="false" id="0" xCoord="323" yCoord="186"/>
 
42
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="312"/>
 
43
</arc>
 
44
<arc id="T7 to P0" inscription="1" source="T7" target="P0" type="normal">
 
45
<arcpath arcPointType="false" id="0" xCoord="492" yCoord="297"/>
 
46
<arcpath arcPointType="false" id="1" xCoord="524" yCoord="239"/>
 
47
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="181"/>
 
48
</arc>
 
49
<arc id="P0 to T11" inscription="[0,inf)" source="P0" target="T11" type="timed">
 
50
<arcpath arcPointType="false" id="0" xCoord="325" yCoord="183"/>
 
51
<arcpath arcPointType="false" id="1" xCoord="606" yCoord="312"/>
 
52
</arc>
 
53
<arc id="T11 to P0" inscription="1" source="T11" target="P0" type="normal">
 
54
<arcpath arcPointType="false" id="0" xCoord="612" yCoord="297"/>
 
55
<arcpath arcPointType="false" id="1" xCoord="599" yCoord="239"/>
 
56
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="180"/>
 
57
</arc>
 
58
<arc id="P0 to T13" inscription="[0,inf)" source="P0" target="T13" type="timed">
 
59
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="181"/>
 
60
<arcpath arcPointType="false" id="1" xCoord="726" yCoord="312"/>
 
61
</arc>
 
62
<arc id="T13 to P0" inscription="1" source="T13" target="P0" type="normal">
 
63
<arcpath arcPointType="false" id="0" xCoord="732" yCoord="297"/>
 
64
<arcpath arcPointType="false" id="1" xCoord="704" yCoord="224"/>
 
65
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="178"/>
 
66
</arc>
 
67
<arc id="P0 to T17" inscription="[0,inf)" source="P0" target="T17" type="timed">
 
68
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="180"/>
 
69
<arcpath arcPointType="false" id="1" xCoord="831" yCoord="312"/>
 
70
</arc>
 
71
<arc id="T17 to P0" inscription="1" source="T17" target="P0" type="normal">
 
72
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="297"/>
 
73
<arcpath arcPointType="false" id="1" xCoord="794" yCoord="164"/>
 
74
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="176"/>
 
75
</arc>
 
76
<arc id="P0 to T19" inscription="[0,inf)" source="P0" target="T19" type="timed">
 
77
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="180"/>
 
78
<arcpath arcPointType="false" id="1" xCoord="951" yCoord="312"/>
 
79
</arc>
 
80
<arc id="T19 to P0" inscription="1" source="T19" target="P0" type="normal">
 
81
<arcpath arcPointType="false" id="0" xCoord="957" yCoord="297"/>
 
82
<arcpath arcPointType="false" id="1" xCoord="869" yCoord="104"/>
 
83
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="175"/>
 
84
</arc>
 
85
<arc id="P0 to T23" inscription="[0,inf)" source="P0" target="T23" type="timed">
 
86
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="179"/>
 
87
<arcpath arcPointType="false" id="1" xCoord="1086" yCoord="312"/>
 
88
</arc>
 
89
<arc id="T23 to P0" inscription="1" source="T23" target="P0" type="normal">
 
90
<arcpath arcPointType="false" id="0" xCoord="1092" yCoord="297"/>
 
91
<arcpath arcPointType="false" id="1" xCoord="974" yCoord="89"/>
 
92
<arcpath arcPointType="false" id="2" xCoord="326" yCoord="175"/>
 
93
</arc>
 
94
<arc id="P1 to Test" inscription="[0,inf):1" source="P1" target="Test" type="transport">
 
95
<arcpath arcPointType="false" id="0" xCoord="191" yCoord="477"/>
 
96
<arcpath arcPointType="false" id="1" xCoord="321" yCoord="477"/>
 
97
</arc>
 
98
<arc id="Test to Solution" inscription="[0,inf):1" source="Test" target="Solution" type="transport">
 
99
<arcpath arcPointType="false" id="0" xCoord="331" yCoord="477"/>
 
100
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="490"/>
 
101
</arc>
 
102
<arc id="P0 to Test" inscription="[0,inf)" source="P0" target="Test" type="timed">
 
103
<arcpath arcPointType="false" id="0" xCoord="312" yCoord="191"/>
 
104
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="462"/>
 
105
</arc>
 
106
<arc id="P2 to T24" inscription="[0,inf)" source="P2" target="T24" type="timed">
 
107
<arcpath arcPointType="false" id="0" xCoord="94" yCoord="294"/>
 
108
<arcpath arcPointType="false" id="1" xCoord="132" yCoord="357"/>
 
109
</arc>
 
110
<arc id="T24 to P1" inscription="1" source="T24" target="P1" type="normal">
 
111
<arcpath arcPointType="false" id="0" xCoord="132" yCoord="387"/>
 
112
<arcpath arcPointType="false" id="1" xCoord="170" yCoord="463"/>
 
113
</arc>
 
114
<arc id="P0 to T24" inscription="[0,inf)" source="P0" target="T24" type="timed">
 
115
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="181"/>
 
116
<arcpath arcPointType="false" id="1" xCoord="162" yCoord="222"/>
 
117
<arcpath arcPointType="false" id="2" xCoord="132" yCoord="357"/>
 
118
</arc>
 
119
<arc id="T24 to P0" inscription="1" source="T24" target="P0" type="normal">
 
120
<arcpath arcPointType="false" id="0" xCoord="132" yCoord="357"/>
 
121
<arcpath arcPointType="false" id="1" xCoord="192" yCoord="252"/>
 
122
<arcpath arcPointType="false" id="2" xCoord="299" yCoord="184"/>
 
123
</arc>
 
124
<arc id="P0 to T25" inscription="[0,inf)" source="P0" target="T25" type="timed">
 
125
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="172"/>
 
126
<arcpath arcPointType="false" id="1" xCoord="207" yCoord="147"/>
 
127
<arcpath arcPointType="false" id="2" xCoord="207" yCoord="87"/>
 
128
</arc>
 
129
<arc id="T25 to P0" inscription="1" source="T25" target="P0" type="normal">
 
130
<arcpath arcPointType="false" id="0" xCoord="211" yCoord="72"/>
 
131
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="117"/>
 
132
<arcpath arcPointType="false" id="2" xCoord="308" yCoord="162"/>
 
133
</arc>
 
134
</net>
 
135
<query active="true" capacity="0" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" name="FALSE" query="AG TAPN1.Solution&lt;=0" reductionOption="VerifyTAPN" searchOption="BFS" symmetry="true" traceOption="NONE"/>
 
136
</pnml>