ILovePetriNets.pnml A B C D p1 0 p2 1 p3 4 p4 2 2 3