while(true){
                boolean noMoreReductionsTPTE = true;
                ArrayList<PL> plList = pnReduced.getPlaceList_safe();
                for(int i=0;i<plList.size();i++){
                    if(plList.get(i).previousList.size()==1 && plList.get(i).nextList.size()==1){