Place p1 {
    tokens = 1
    name = "p1"
}
Place p2 {
    tokens = 2
    name = "p2"
}
Place p3 {
    tokens = 3
    name = "p3"
}
Transition t1 {
    name = "t1"
}
P2T (p1, t1) {
    weight = 1
}
P2T (p2, t1) {
    weight = 1
}
T2P (t1, p3) {
    weight = 2
}
