Experiences on SIMD massively parallel GSPN analysis