← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-simple-test002.xml

  • Committer: Jiri Srba
  • Date: 2014-03-05 07:02:55 UTC
  • mfrom: (40.1.68 reductions)
  • Revision ID: srba@cs.aau.dk-20140305070255-m06q3nl5p2o5wq9q
merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/TAPAAL-test-nets/000-untimed-simple-test002.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="135.0" positionY="105.0"/>
 
5
<place id="P1" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="105.0"/>
 
6
<place id="Final" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Final" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="360.0"/>
 
7
<place id="P2" initialMarking="2" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="285.0"/>
 
8
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="210.0" priority="1" timed="true"/>
 
9
<transition angle="0" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="60.0" positionY="225.0" priority="1" timed="true"/>
 
10
<arc id="P0 to T0" inscription="[0,inf)" source="P0" target="T0" type="timed">
 
11
<arcpath arcPointType="false" id="0" xCoord="155" yCoord="129"/>
 
12
<arcpath arcPointType="false" id="1" xCoord="216" yCoord="222"/>
 
13
</arc>
 
14
<arc id="T0 to Final" inscription="1" source="T0" target="Final" type="normal">
 
15
<arcpath arcPointType="false" id="0" xCoord="222" yCoord="237"/>
 
16
<arcpath arcPointType="false" id="1" xCoord="235" yCoord="357"/>
 
17
</arc>
 
18
<arc id="P1 to T0" inscription="[0,inf)" source="P1" target="T0" type="timed">
 
19
<arcpath arcPointType="false" id="0" xCoord="312" yCoord="114"/>
 
20
<arcpath arcPointType="false" id="1" xCoord="240" yCoord="105"/>
 
21
<arcpath arcPointType="false" id="2" xCoord="222" yCoord="207"/>
 
22
</arc>
 
23
<arc id="T0 to P1" inscription="1" source="T0" target="P1" type="normal">
 
24
<arcpath arcPointType="false" id="0" xCoord="226" yCoord="222"/>
 
25
<arcpath arcPointType="false" id="1" xCoord="330" yCoord="225"/>
 
26
<arcpath arcPointType="false" id="2" xCoord="327" yCoord="131"/>
 
27
</arc>
 
28
<arc id="P0 to T1" inscription="[0,inf)" source="P0" target="T1" type="timed">
 
29
<arcpath arcPointType="false" id="0" xCoord="133" yCoord="124"/>
 
30
<arcpath arcPointType="false" id="1" xCoord="60" yCoord="165"/>
 
31
<arcpath arcPointType="false" id="2" xCoord="72" yCoord="222"/>
 
32
</arc>
 
33
<arc id="T1 to P0" inscription="1" source="T1" target="P0" type="normal">
 
34
<arcpath arcPointType="false" id="0" xCoord="77" yCoord="232"/>
 
35
<arcpath arcPointType="false" id="1" xCoord="120" yCoord="225"/>
 
36
<arcpath arcPointType="false" id="2" xCoord="143" yCoord="131"/>
 
37
</arc>
 
38
<arc id="P2 to T1" inscription="[0,inf)" source="P2" target="T1" type="timed">
 
39
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="294"/>
 
40
<arcpath arcPointType="false" id="1" xCoord="76" yCoord="242"/>
 
41
</arc>
 
42
</net>
 
43
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" name="FALSE" query="EF TAPN1.Final&gt;=1" reductionOption="OPTIMIZEDSTANDARD" searchOption="BFS" symmetry="false" traceOption="SOME"/>
 
44
</pnml>