terminating-weights.pnet 341 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
petri net "terminating" {
    places { p1 p2 p3 p4 p5 }
    transitions { t1 t2 t3 t4 }
    arcs {
        p1 -> t1 -> p2
        p2 ->[3] t2 ->[3] p1
        p3 -> t3 -> p4
        p3 -> t1 -> p3
        p4 -> t4 -> p3
        p4 -> t2 -> p4
        p5 -> t4
    }
    initial { p1[3] p3 p5 }
}
liveness property "terminating" {
    true
}