Parallel state space exploration for GSPN models