Experiences on SIMD Massively Parallel GSPN Analysis. - Stefano Caselli; Gianni Conte; F. Bonardi; M. Fontanesi (Computer Performance Evaluation, 1994)