Deciding life-cycle inheritance on Petri nets by