The net is now loaded and CPN net, so problem 3 is fixed. Problem 2 is probably okay but problem with the missing token in the place P2 (called Compo2_P2 after merging components) is still present.
The net is now loaded and CPN net, so problem 3 is fixed. Problem 2 is probably okay but problem with the missing token in the place P2 (called Compo2_P2 after merging components) is still present.