← Back to branch summary

~tapaal-contributor/verifypn/unfoldTACPN 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<property-set xmlns="http://tapaal.net/">
  
  <property>
    <id>simple-test008.TRUE-1</id>
    <description>simple-test008.TRUE-1</description>
    <formula>
      <all-paths>
        <globally>
          <integer-le>
            <tokens-count>
              <place>Holder</place>
            </tokens-count>
            <integer-constant>4</integer-constant>
          </integer-le>
        </globally>
      </all-paths>
    </formula>
  </property>
</property-set>