terminating-v4.pnet 436 Bytes
Newer Older
Philipp Meyer's avatar
Philipp Meyer committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
petri net "terminating" {
    places { s1 s2 s3 s4 s5 s6 s7 }
    transitions { t1 t2 t3 t4 t5 t6 }
    arcs {
        s1 -> t1 -> s2
        s3 -> t1 -> s3
        s2 -> t2 -> s1
        s4 -> t2 -> s4
        s3 -> t3 -> s4
        s5 -> t3 -> s5
        s4 -> t4 -> s3
        s6 -> t4 -> s6
        s5 -> t5 -> s6
        s6 -> t6 -> s5
        s7 -> t6
    }
    initial { s1 s3 s5 }
}
liveness property "terminating" {
    true
}