modelverse/integration/code/pn_runtime_model.mvc

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