I have a CPN model (Colored Petri Net), in this model the tokens (product string * int) transfer from place 1 to the place b which collects the tokens in a listshown in the pi
