← 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-test010.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-test010.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="P28" initialMarking="2" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P28" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="75.0"/>
5
 
<place id="P29" initialMarking="2" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P29" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="75.0"/>
6
 
<place id="P30" initialMarking="2" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P30" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="75.0"/>
7
 
<place id="P31" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P31" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="375.0"/>
8
 
<place id="P32" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P32" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="375.0"/>
9
 
<place id="Final" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Final" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="360.0"/>
10
 
<transition angle="0" id="T13" infiniteServer="false" name="T13" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="225.0" priority="1" timed="false"/>
11
 
<transition angle="0" id="T14" infiniteServer="false" name="T14" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="540.0" priority="1" timed="false"/>
12
 
<arc id="P28 to T13" inscription="[0,inf):1" source="P28" target="T13" type="transport">
13
 
<arcpath arcPointType="false" id="0" xCoord="128" yCoord="96"/>
14
 
<arcpath arcPointType="false" id="1" xCoord="292" yCoord="232"/>
15
 
</arc>
16
 
<arc id="T13 to P32" inscription="[0,inf):1" source="T13" target="P32" type="transport">
17
 
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="252"/>
18
 
<arcpath arcPointType="false" id="1" xCoord="283" yCoord="372"/>
19
 
</arc>
20
 
<arc id="P30 to T13" inscription="[0,inf):2" source="P30" target="T13" type="transport">
21
 
<arcpath arcPointType="false" id="0" xCoord="436" yCoord="97"/>
22
 
<arcpath arcPointType="false" id="1" xCoord="301" yCoord="237"/>
23
 
</arc>
24
 
<arc id="T13 to P31" inscription="[0,inf):2" source="T13" target="P31" type="transport">
25
 
<arcpath arcPointType="false" id="0" xCoord="291" yCoord="242"/>
26
 
<arcpath arcPointType="false" id="1" xCoord="128" yCoord="377"/>
27
 
</arc>
28
 
<arc id="P29 to T13" inscription="[0,inf):3" source="P29" target="T13" type="transport">
29
 
<arcpath arcPointType="false" id="0" xCoord="283" yCoord="101"/>
30
 
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="222"/>
31
 
</arc>
32
 
<arc id="T13 to Final" inscription="[0,inf):3" source="T13" target="Final" type="transport">
33
 
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="252"/>
34
 
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="237"/>
35
 
<arcpath arcPointType="false" id="2" xCoord="435" yCoord="361"/>
36
 
</arc>
37
 
<arc id="P32 to T14" inscription="[0,inf)" source="P32" target="T14" type="timed">
38
 
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="401"/>
39
 
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="537"/>
40
 
</arc>
41
 
<arc id="P31 to T14" inscription="[0,inf):1" source="P31" target="T14" type="transport">
42
 
<arcpath arcPointType="false" id="0" xCoord="127" yCoord="397"/>
43
 
<arcpath arcPointType="false" id="1" xCoord="276" yCoord="552"/>
44
 
</arc>
45
 
<arc id="T14 to Final" inscription="[0,inf):1" source="T14" target="Final" type="transport">
46
 
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="552"/>
47
 
<arcpath arcPointType="false" id="1" xCoord="437" yCoord="383"/>
48
 
</arc>
49
 
<arc id="P32 to T13" inscription="[0,inf)" source="P32" target="T13" type="tapnInhibitor">
50
 
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="380"/>
51
 
<arcpath arcPointType="false" id="1" xCoord="342" yCoord="357"/>
52
 
<arcpath arcPointType="false" id="2" xCoord="297" yCoord="252"/>
53
 
</arc>
54
 
</net>
55
 
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" name="TRUE" query="EF TAPN1.Final&gt;=4" reductionOption="DEGREE2BROADCAST" searchOption="BFS" symmetry="true" traceOption="NONE"/>
56
 
</pnml>