What does the notation for t1 mean in this Petri Net?

I don't understand the notation used in transition t1 of this Petri Net. In particular what is the meaning of the 2 arcs going from the same place p1 into the transition t1? I've seen other...

28 September 2020 8,031 4 View