t1 (4)
t1_2_1_1
t1_2_0_2
t1_1_1_2
t1_1_0_3
t1_0_1_3
p1
p2
p3
p5
p4
p3
p2
p1
p5
p4
a transition (with capacity 4) in a counting Petri net
true
a transition (with capacity 4) in a counting Petri net
true