modelverse/integration/code/my_petrinet.mvc

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