Marco Scarpa, Salvatore Distefano, Antonio Puliafito: A Parallel Approach for the Solution of Non-Markovian Petri Nets. PVM/MPI 2003: 196-203