Deciding life-cycle inheritance on Petri nets door