petri nets, decycling