A parallel approach for the solution of non Markovian Petri nets