Liveness Preserving Place Deletion in Petri Net