Reductions in GSPN and SWN: An Overview and an Example of Application