Salvatore Distefano, Antonio Puliafito, Marco Scarpa: A Grid-based algorithm for the solution of non-Markovian stochastic Petri nets. Concurr. Comput. Pract. Exp. 19(9): 1353-1370 (2007)