A Framework to Decompose GSPN Models