← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-transport-test018.xml

  • Committer: Mads Johannsen
  • Date: 2015-05-27 01:37:47 UTC
  • Revision ID: mjohan12@student.aau.dk-20150527013747-fc4uexe0yfjsw7pm
Directory cleanup and readme

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/TAPAAL-test-nets/000-untimed-transport-test018.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="15"/>
4
 
<net active="true" id="TAPN1" type="P/T net">
5
 
<place id="P0" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="90.0" positionY="165.0"/>
6
 
<place id="P1" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="150.0"/>
7
 
<place id="P2" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="525.0" positionY="165.0"/>
8
 
<place id="P3" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="765.0" positionY="180.0"/>
9
 
<place id="P4" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="180.0" positionY="105.0"/>
10
 
<place id="P5" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="P5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="180.0" positionY="210.0"/>
11
 
<place id="P6" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="405.0" positionY="105.0"/>
12
 
<place id="P7" initialMarking="0" invariant="&lt;= 7" markingOffsetX="0.0" markingOffsetY="0.0" name="P7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="420.0" positionY="225.0"/>
13
 
<place id="P8" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P8" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="585.0" positionY="105.0"/>
14
 
<place id="P9" initialMarking="0" invariant="&lt;= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="P9" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="585.0" positionY="225.0"/>
15
 
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="165.0" priority="0" urgent="false"/>
16
 
<transition angle="0" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="150.0" priority="0" urgent="false"/>
17
 
<transition angle="0" id="T2" infiniteServer="false" name="T2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="165.0" priority="0" urgent="false"/>
18
 
<transition angle="0" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="165.0" priority="0" urgent="false"/>
19
 
<transition angle="0" id="T4" infiniteServer="false" name="T4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="465.0" positionY="150.0" priority="0" urgent="false"/>
20
 
<transition angle="0" id="T5" infiniteServer="false" name="T5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="165.0" priority="0" urgent="false"/>
21
 
<arc id="P0 to T0" inscription="[0,inf):1" source="P0" target="T0" type="transport" weight="1">
22
 
<arcpath arcPointType="false" id="0" xCoord="116" yCoord="177"/>
23
 
<arcpath arcPointType="false" id="1" xCoord="156" yCoord="177"/>
24
 
</arc>
25
 
<arc id="T0 to P4" inscription="[0,inf):1" source="T0" target="P4" type="transport" weight="1">
26
 
<arcpath arcPointType="false" id="0" xCoord="162" yCoord="162"/>
27
 
<arcpath arcPointType="false" id="1" xCoord="183" yCoord="129"/>
28
 
</arc>
29
 
<arc id="P4 to T3" inscription="[0,inf):1" source="P4" target="T3" type="transport" weight="1">
30
 
<arcpath arcPointType="false" id="0" xCoord="200" yCoord="129"/>
31
 
<arcpath arcPointType="false" id="1" xCoord="232" yCoord="172"/>
32
 
</arc>
33
 
<arc id="T3 to P1" inscription="[0,inf):1" source="T3" target="P1" type="transport" weight="1">
34
 
<arcpath arcPointType="false" id="0" xCoord="241" yCoord="177"/>
35
 
<arcpath arcPointType="false" id="1" xCoord="312" yCoord="164"/>
36
 
</arc>
37
 
<arc id="P1 to T1" inscription="[0,inf):1" source="P1" target="T1" type="transport" weight="1">
38
 
<arcpath arcPointType="false" id="0" xCoord="341" yCoord="162"/>
39
 
<arcpath arcPointType="false" id="1" xCoord="381" yCoord="162"/>
40
 
</arc>
41
 
<arc id="T1 to P6" inscription="[0,inf):1" source="T1" target="P6" type="transport" weight="1">
42
 
<arcpath arcPointType="false" id="0" xCoord="387" yCoord="147"/>
43
 
<arcpath arcPointType="false" id="1" xCoord="406" yCoord="127"/>
44
 
</arc>
45
 
<arc id="P6 to T4" inscription="[0,inf):1" source="P6" target="T4" type="transport" weight="1">
46
 
<arcpath arcPointType="false" id="0" xCoord="429" yCoord="125"/>
47
 
<arcpath arcPointType="false" id="1" xCoord="472" yCoord="157"/>
48
 
</arc>
49
 
<arc id="T4 to P2" inscription="[0,inf):1" source="T4" target="P2" type="transport" weight="1">
50
 
<arcpath arcPointType="false" id="0" xCoord="481" yCoord="162"/>
51
 
<arcpath arcPointType="false" id="1" xCoord="522" yCoord="173"/>
52
 
</arc>
53
 
<arc id="P2 to T2" inscription="[0,inf):1" source="P2" target="T2" type="transport" weight="1">
54
 
<arcpath arcPointType="false" id="0" xCoord="551" yCoord="177"/>
55
 
<arcpath arcPointType="false" id="1" xCoord="576" yCoord="177"/>
56
 
</arc>
57
 
<arc id="T2 to P8" inscription="[0,inf):1" source="T2" target="P8" type="transport" weight="1">
58
 
<arcpath arcPointType="false" id="0" xCoord="582" yCoord="162"/>
59
 
<arcpath arcPointType="false" id="1" xCoord="592" yCoord="131"/>
60
 
</arc>
61
 
<arc id="P8 to T5" inscription="[0,inf):1" source="P8" target="T5" type="transport" weight="1">
62
 
<arcpath arcPointType="false" id="0" xCoord="608" yCoord="126"/>
63
 
<arcpath arcPointType="false" id="1" xCoord="667" yCoord="172"/>
64
 
</arc>
65
 
<arc id="T5 to P3" inscription="[0,inf):1" source="T5" target="P3" type="transport" weight="1">
66
 
<arcpath arcPointType="false" id="0" xCoord="676" yCoord="177"/>
67
 
<arcpath arcPointType="false" id="1" xCoord="762" yCoord="189"/>
68
 
</arc>
69
 
<arc id="T0 to P5" inscription="1" source="T0" target="P5" type="normal" weight="1">
70
 
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="177"/>
71
 
<arcpath arcPointType="false" id="1" xCoord="184" yCoord="208"/>
72
 
</arc>
73
 
<arc id="P5 to T3" inscription="[0,inf)" source="P5" target="T3" type="timed" weight="1">
74
 
<arcpath arcPointType="false" id="0" xCoord="202" yCoord="211"/>
75
 
<arcpath arcPointType="false" id="1" xCoord="231" yCoord="182"/>
76
 
</arc>
77
 
<arc id="T1 to P7" inscription="1" source="T1" target="P7" type="normal" weight="1">
78
 
<arcpath arcPointType="false" id="0" xCoord="387" yCoord="177"/>
79
 
<arcpath arcPointType="false" id="1" xCoord="423" yCoord="224"/>
80
 
</arc>
81
 
<arc id="P7 to T4" inscription="[0,inf)" source="P7" target="T4" type="timed" weight="1">
82
 
<arcpath arcPointType="false" id="0" xCoord="439" yCoord="223"/>
83
 
<arcpath arcPointType="false" id="1" xCoord="471" yCoord="167"/>
84
 
</arc>
85
 
<arc id="T2 to P9" inscription="1" source="T2" target="P9" type="normal" weight="1">
86
 
<arcpath arcPointType="false" id="0" xCoord="582" yCoord="192"/>
87
 
<arcpath arcPointType="false" id="1" xCoord="592" yCoord="222"/>
88
 
</arc>
89
 
<arc id="P9 to T5" inscription="[0,inf)" source="P9" target="T5" type="timed" weight="1">
90
 
<arcpath arcPointType="false" id="0" xCoord="608" yCoord="227"/>
91
 
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="182"/>
92
 
</arc>
93
 
</net>
94
 
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" gcd="true" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" overApproximation="true" pTrie="true" query="EF TAPN1.P3=1" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
95
 
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" gcd="true" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" overApproximation="true" pTrie="true" query="EF TAPN1.P0=2" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
96
 
<k-bound bound="3"/>
97
 
</pnml>