Petri netsource 11sink 2sink 3sink 4sink 5sink 6source 7sink 8sink 9source 10sink 11sink 12sink 13sink 14Sftau splittau joingihkbdcejE1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal1normal01000000000000