Analysis of large GSPN models: a distributed solution tool