← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-continuous-test005.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-continuous-test005.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="P0" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="225.0"/>
5
 
<place id="P1" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="225.0"/>
6
 
<place id="P2" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="60.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="465.0" positionY="30.0"/>
8
 
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="225.0" priority="0" urgent="false"/>
9
 
<transition angle="0" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="15.0" priority="0" urgent="false"/>
10
 
<transition angle="0" id="T2" infiniteServer="false" name="T2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="90.0" priority="0" urgent="false"/>
11
 
<transition angle="0" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="465.0" positionY="165.0" priority="0" urgent="false"/>
12
 
<transition angle="0" id="T4" infiniteServer="false" name="T4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="30.0" priority="0" urgent="false"/>
13
 
<arc id="P0 to T0" inscription="[0,inf)" source="P0" target="T0" type="timed" weight="1">
14
 
<arcpath arcPointType="false" id="0" xCoord="191" yCoord="237"/>
15
 
<arcpath arcPointType="false" id="1" xCoord="276" yCoord="237"/>
16
 
</arc>
17
 
<arc id="T0 to P1" inscription="1" source="T0" target="P1" type="normal" weight="1">
18
 
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="237"/>
19
 
<arcpath arcPointType="false" id="1" xCoord="372" yCoord="237"/>
20
 
</arc>
21
 
<arc id="P2 to T1" inscription="[0,inf)" source="P2" target="T1" type="timed" weight="1">
22
 
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="65"/>
23
 
<arcpath arcPointType="false" id="1" xCoord="366" yCoord="27"/>
24
 
</arc>
25
 
<arc id="T1 to P3" inscription="1" source="T1" target="P3" type="normal" weight="1">
26
 
<arcpath arcPointType="false" id="0" xCoord="376" yCoord="27"/>
27
 
<arcpath arcPointType="false" id="1" xCoord="462" yCoord="39"/>
28
 
</arc>
29
 
<arc id="P2 to T2" inscription="[0,inf)" source="P2" target="T2" type="timed" weight="1">
30
 
<arcpath arcPointType="false" id="0" xCoord="296" yCoord="76"/>
31
 
<arcpath arcPointType="false" id="1" xCoord="381" yCoord="102"/>
32
 
</arc>
33
 
<arc id="T2 to P3" inscription="1" source="T2" target="P3" type="normal" weight="1">
34
 
<arcpath arcPointType="false" id="0" xCoord="391" yCoord="102"/>
35
 
<arcpath arcPointType="false" id="1" xCoord="464" yCoord="50"/>
36
 
</arc>
37
 
<arc id="P1 to T3" inscription="[0,inf)" source="P1" target="T3" type="timed" weight="1">
38
 
<arcpath arcPointType="false" id="0" xCoord="399" yCoord="228"/>
39
 
<arcpath arcPointType="false" id="1" xCoord="471" yCoord="182"/>
40
 
</arc>
41
 
<arc id="T3 to P3" inscription="1" source="T3" target="P3" type="normal" weight="1">
42
 
<arcpath arcPointType="false" id="0" xCoord="477" yCoord="162"/>
43
 
<arcpath arcPointType="false" id="1" xCoord="477" yCoord="56"/>
44
 
</arc>
45
 
<arc id="P3 to T4" inscription="[0,inf)" source="P3" target="T4" type="timed" weight="2">
46
 
<arcpath arcPointType="false" id="0" xCoord="490" yCoord="35"/>
47
 
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="12"/>
48
 
<arcpath arcPointType="false" id="2" xCoord="577" yCoord="37"/>
49
 
</arc>
50
 
<arc id="T4 to P3" inscription="1" source="T4" target="P3" type="normal" weight="2">
51
 
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="47"/>
52
 
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="72"/>
53
 
<arcpath arcPointType="false" id="2" xCoord="490" yCoord="48"/>
54
 
</arc>
55
 
<arc id="P3 to T3" inscription="[0,inf)" source="P3" target="T3" type="timed" weight="1">
56
 
<arcpath arcPointType="false" id="0" xCoord="472" yCoord="56"/>
57
 
<arcpath arcPointType="false" id="1" xCoord="447" yCoord="132"/>
58
 
<arcpath arcPointType="false" id="2" xCoord="472" yCoord="172"/>
59
 
</arc>
60
 
</net>
61
 
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" pTrie="true" query="EF deadlock" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="SOME"/>
62
 
</pnml>