← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-other-test013.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-other-test013.xml
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="IntroExample" type="P/T net">
4
 
<place id="Start" initialMarking="1" invariant="&lt;= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="Start" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="30.0"/>
5
 
<place id="P1" initialMarking="0" invariant="&lt;= 6" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="210.0"/>
6
 
<place id="P2" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="195.0"/>
7
 
<place id="P3" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="390.0"/>
8
 
<place id="P4" initialMarking="0" invariant="&lt;= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="P4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="495.0" positionY="390.0"/>
9
 
<place id="P5" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="570.0"/>
10
 
<place id="P6" initialMarking="0" invariant="&lt;= 9" markingOffsetX="0.0" markingOffsetY="0.0" name="P6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="390.0"/>
11
 
<place id="Target" initialMarking="0" invariant="&lt;= 0" markingOffsetX="0.0" markingOffsetY="0.0" name="Target" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="735.0"/>
12
 
<place id="P7" initialMarking="1" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="45.0"/>
13
 
<transition angle="180" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="120.0" priority="0"/>
14
 
<transition angle="90" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="300.0" priority="0"/>
15
 
<transition angle="90" id="T2" infiniteServer="false" name="T2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="480.0" priority="0"/>
16
 
<transition angle="90" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="300.0" priority="0"/>
17
 
<transition angle="0" id="T4" infiniteServer="false" name="T4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="630.0" priority="0"/>
18
 
<transition angle="0" id="T5" infiniteServer="false" name="T5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="600.0" positionY="615.0" priority="0"/>
19
 
<transition angle="0" id="T6" infiniteServer="false" name="T6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="30.0" priority="0"/>
20
 
<arc id="Start to T0" inscription="[0,inf)" source="Start" target="T0" type="timed" weight="1">
21
 
<arcpath arcPointType="false" id="0" xCoord="146" yCoord="56"/>
22
 
<arcpath arcPointType="false" id="1" xCoord="146" yCoord="116"/>
23
 
</arc>
24
 
<arc id="P2 to T1" inscription="[0,inf)" source="P2" target="T1" type="timed" weight="1">
25
 
<arcpath arcPointType="false" id="0" xCoord="371" yCoord="221"/>
26
 
<arcpath arcPointType="false" id="1" xCoord="371" yCoord="306"/>
27
 
</arc>
28
 
<arc id="P3 to T2" inscription="[0,inf)" source="P3" target="T2" type="timed" weight="1">
29
 
<arcpath arcPointType="false" id="0" xCoord="249" yCoord="410"/>
30
 
<arcpath arcPointType="false" id="1" xCoord="366" yCoord="486"/>
31
 
</arc>
32
 
<arc id="P4 to T2" inscription="[0,inf)" source="P4" target="T2" type="timed" weight="1">
33
 
<arcpath arcPointType="false" id="0" xCoord="494" yCoord="410"/>
34
 
<arcpath arcPointType="false" id="1" xCoord="376" yCoord="487"/>
35
 
</arc>
36
 
<arc id="P5 to T4" inscription="[0,inf)" source="P5" target="T4" type="timed" weight="1">
37
 
<arcpath arcPointType="false" id="0" xCoord="358" yCoord="587"/>
38
 
<arcpath arcPointType="false" id="1" xCoord="226" yCoord="642"/>
39
 
</arc>
40
 
<arc id="P6 to T4" inscription="[0,inf)" source="P6" target="T4" type="timed" weight="1">
41
 
<arcpath arcPointType="false" id="0" xCoord="123" yCoord="415"/>
42
 
<arcpath arcPointType="false" id="1" xCoord="222" yCoord="627"/>
43
 
</arc>
44
 
<arc id="T0 to P1" inscription="1" source="T0" target="P1" type="normal" weight="1">
45
 
<arcpath arcPointType="false" id="0" xCoord="146" yCoord="146"/>
46
 
<arcpath arcPointType="false" id="1" xCoord="122" yCoord="208"/>
47
 
</arc>
48
 
<arc id="T0 to P2" inscription="1" source="T0" target="P2" type="normal" weight="1">
49
 
<arcpath arcPointType="false" id="0" xCoord="152" yCoord="131"/>
50
 
<arcpath arcPointType="false" id="1" xCoord="357" yCoord="202"/>
51
 
</arc>
52
 
<arc id="T1 to P3" inscription="1" source="T1" target="P3" type="normal" weight="1">
53
 
<arcpath arcPointType="false" id="0" xCoord="366" yCoord="316"/>
54
 
<arcpath arcPointType="false" id="1" xCoord="249" yCoord="393"/>
55
 
</arc>
56
 
<arc id="T1 to P4" inscription="1" source="T1" target="P4" type="normal" weight="1">
57
 
<arcpath arcPointType="false" id="0" xCoord="376" yCoord="317"/>
58
 
<arcpath arcPointType="false" id="1" xCoord="494" yCoord="393"/>
59
 
</arc>
60
 
<arc id="T2 to P5" inscription="1" source="T2" target="P5" type="normal" weight="1">
61
 
<arcpath arcPointType="false" id="0" xCoord="371" yCoord="496"/>
62
 
<arcpath arcPointType="false" id="1" xCoord="371" yCoord="567"/>
63
 
</arc>
64
 
<arc id="T4 to Target" inscription="1" source="T4" target="Target" type="normal" weight="1">
65
 
<arcpath arcPointType="false" id="0" xCoord="222" yCoord="657"/>
66
 
<arcpath arcPointType="false" id="1" xCoord="222" yCoord="732"/>
67
 
</arc>
68
 
<arc id="P1 to T3" inscription="[0,inf):1" source="P1" target="T3" type="transport" weight="1">
69
 
<arcpath arcPointType="false" id="0" xCoord="116" yCoord="236"/>
70
 
<arcpath arcPointType="false" id="1" xCoord="116" yCoord="306"/>
71
 
</arc>
72
 
<arc id="T3 to P6" inscription="[0,inf):1" source="T3" target="P6" type="transport" weight="1">
73
 
<arcpath arcPointType="false" id="0" xCoord="116" yCoord="316"/>
74
 
<arcpath arcPointType="false" id="1" xCoord="116" yCoord="387"/>
75
 
</arc>
76
 
<arc id="Target to T5" inscription="[0,inf)" source="Target" target="T5" type="timed" weight="1">
77
 
<arcpath arcPointType="false" id="0" xCoord="236" yCoord="742"/>
78
 
<arcpath arcPointType="false" id="1" xCoord="606" yCoord="627"/>
79
 
</arc>
80
 
<arc id="T5 to Start" inscription="1" source="T5" target="Start" type="normal" weight="1">
81
 
<arcpath arcPointType="false" id="0" xCoord="612" yCoord="612"/>
82
 
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="252"/>
83
 
<arcpath arcPointType="false" id="2" xCoord="160" yCoord="48"/>
84
 
</arc>
85
 
<arc id="P7 to T6" inscription="[0,inf)" source="P7" target="T6" type="timed" weight="1">
86
 
<arcpath arcPointType="false" id="0" xCoord="432" yCoord="55"/>
87
 
<arcpath arcPointType="false" id="1" xCoord="301" yCoord="42"/>
88
 
</arc>
89
 
<arc id="T6 to Start" inscription="1" source="T6" target="Start" type="normal" weight="1">
90
 
<arcpath arcPointType="false" id="0" xCoord="291" yCoord="42"/>
91
 
<arcpath arcPointType="false" id="1" xCoord="161" yCoord="42"/>
92
 
</arc>
93
 
</net>
94
 
<query active="true" capacity="4" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" pTrie="true" query="EF IntroExample.P5&gt;=3" reductionOption="VerifyTAPNdiscreteVerification" searchOption="BFS" symmetry="true" timeDarts="true" traceOption="SOME"/>
95
 
<query active="true" capacity="4" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" pTrie="true" query="EF IntroExample.Target&gt;1" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
96
 
<query active="true" capacity="4" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" pTrie="true" query="EG IntroExample.Target&lt;=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="SOME"/>
97
 
<query active="true" capacity="4" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" pTrie="true" query="AF IntroExample.Target=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="SOME"/>
98
 
<query active="true" capacity="4" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" pTrie="true" query="AF IntroExample.P6=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
99
 
</pnml>