← 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-test014.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-test014.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="TAPN1" type="P/T net">
4
 
<place id="Empty1" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Empty1" nameOffsetX="75.0" nameOffsetY="-8.0" positionX="270.0" positionY="30.0"/>
5
 
<place id="Empty2" initialMarking="0" invariant="&lt; 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="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Empty3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="330.0"/>
7
 
<place id="P37" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P37" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="345.0"/>
8
 
<transition angle="0" id="T15" infiniteServer="false" name="T15" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="90.0" priority="1" timed="true"/>
9
 
<transition angle="0" id="T16" infiniteServer="false" name="T16" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="90.0" priority="1" timed="true"/>
10
 
<transition angle="0" id="T17" infiniteServer="false" name="T17" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="90.0" priority="1" timed="true"/>
11
 
<transition angle="0" id="T18" infiniteServer="false" name="T18" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="255.0" priority="1" timed="true"/>
12
 
<transition angle="0" id="T19" infiniteServer="false" name="T19" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="255.0" priority="1" timed="true"/>
13
 
<transition angle="0" id="T20" infiniteServer="false" name="T20" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="255.0" priority="1" timed="true"/>
14
 
<transition angle="0" id="T21" infiniteServer="false" name="T21" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="405.0" priority="1" timed="true"/>
15
 
<arc id="Empty1 to T15" inscription="[0,inf):1" source="Empty1" target="T15" type="transport">
16
 
<arcpath arcPointType="false" id="0" xCoord="268" yCoord="48"/>
17
 
<arcpath arcPointType="false" id="1" xCoord="167" yCoord="97"/>
18
 
</arc>
19
 
<arc id="T15 to Empty2" inscription="[0,inf):1" source="T15" target="Empty2" type="transport">
20
 
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="107"/>
21
 
<arcpath arcPointType="false" id="1" xCoord="163" yCoord="103"/>
22
 
<arcpath arcPointType="false" id="2" xCoord="269" yCoord="169"/>
23
 
</arc>
24
 
<arc id="Empty2 to T18" inscription="[0,inf):1" source="Empty2" target="T18" type="transport">
25
 
<arcpath arcPointType="false" id="0" xCoord="269" yCoord="185"/>
26
 
<arcpath arcPointType="false" id="1" xCoord="167" yCoord="259"/>
27
 
</arc>
28
 
<arc id="T18 to Empty3" inscription="[0,inf):1" source="T18" target="Empty3" type="transport">
29
 
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="273"/>
30
 
<arcpath arcPointType="false" id="1" xCoord="163" yCoord="268"/>
31
 
<arcpath arcPointType="false" id="2" xCoord="269" yCoord="334"/>
32
 
</arc>
33
 
<arc id="Empty1 to T16" inscription="[0,inf):1" source="Empty1" target="T16" type="transport">
34
 
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="56"/>
35
 
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="87"/>
36
 
</arc>
37
 
<arc id="T16 to Empty2" inscription="[0,inf):1" source="T16" target="Empty2" type="transport">
38
 
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="117"/>
39
 
<arcpath arcPointType="false" id="1" xCoord="285" yCoord="162"/>
40
 
</arc>
41
 
<arc id="Empty1 to T17" inscription="[0,inf):1" source="Empty1" target="T17" type="transport">
42
 
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="48"/>
43
 
<arcpath arcPointType="false" id="1" xCoord="397" yCoord="97"/>
44
 
</arc>
45
 
<arc id="T17 to Empty2" inscription="[0,inf):1" source="T17" target="Empty2" type="transport">
46
 
<arcpath arcPointType="false" id="0" xCoord="396" yCoord="107"/>
47
 
<arcpath arcPointType="false" id="1" xCoord="294" yCoord="169"/>
48
 
</arc>
49
 
<arc id="Empty2 to T19" inscription="[0,inf):1" source="Empty2" target="T19" type="transport">
50
 
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="191"/>
51
 
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="252"/>
52
 
</arc>
53
 
<arc id="T19 to Empty3" inscription="[0,inf):1" source="T19" target="Empty3" type="transport">
54
 
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="282"/>
55
 
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="327"/>
56
 
</arc>
57
 
<arc id="Empty2 to T20" inscription="[0,inf):1" source="Empty2" target="T20" type="transport">
58
 
<arcpath arcPointType="false" id="0" xCoord="293" yCoord="186"/>
59
 
<arcpath arcPointType="false" id="1" xCoord="382" yCoord="262"/>
60
 
</arc>
61
 
<arc id="T20 to Empty3" inscription="[0,inf):1" source="T20" target="Empty3" type="transport">
62
 
<arcpath arcPointType="false" id="0" xCoord="381" yCoord="272"/>
63
 
<arcpath arcPointType="false" id="1" xCoord="294" yCoord="333"/>
64
 
</arc>
65
 
<arc id="Empty3 to T21" inscription="[0,inf)" source="Empty3" target="T21" type="timed">
66
 
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="356"/>
67
 
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="402"/>
68
 
</arc>
69
 
<arc id="T20 to P37" inscription="1" source="T20" target="P37" type="normal">
70
 
<arcpath arcPointType="false" id="0" xCoord="391" yCoord="267"/>
71
 
<arcpath arcPointType="false" id="1" xCoord="509" yCoord="348"/>
72
 
</arc>
73
 
<arc id="T19 to P37" inscription="1" source="T19" target="P37" type="normal">
74
 
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="267"/>
75
 
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="351"/>
76
 
</arc>
77
 
<arc id="T18 to P37" inscription="1" source="T18" target="P37" type="normal">
78
 
<arcpath arcPointType="false" id="0" xCoord="167" yCoord="266"/>
79
 
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="353"/>
80
 
</arc>
81
 
<arc id="P37 to T21" inscription="[0,inf)" source="P37" target="T21" type="timed">
82
 
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="360"/>
83
 
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="417"/>
84
 
</arc>
85
 
</net>
86
 
<query active="true" capacity="1" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="EF (TAPN1.Empty1=0 and TAPN1.Empty2=0 and TAPN1.Empty3=0)" reductionOption="VerifyTAPN" searchOption="BFS" symmetry="true" traceOption="SOME"/>
87
 
</pnml>