Synthesis of GSPN models for workload mapping on concurrent architectures