terminating-v3.pnet 462 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
petri net "terminating" {
    places { s1 s2 s3 s4 s5 s6 s7 s8 s9 }
    transitions { t1 t2 t3 t4 t5 t6 }
    arcs {
        s1 -> t1 -> s2
        s3 -> t1 -> s3
        s2 -> t2 -> s1
        s4 -> t2 -> s4
        { s3 s5 } -> t3 -> { s4 s6 }
        { s4 s6 s9 } -> t4 -> { s3 s5 }
        s7 -> t5 -> s8
        s5 -> t5 -> s5
        s8 -> t6 -> s7
        s6 -> t6 -> s6
    }
    initial { s1 s7 s3 s6 s9 }
}
liveness property "terminating" {
    true
}