@booklet {267,
	title = {GridSPN: a Grid-based non-Markovian Petri nets tool},
	journal = {Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on},
	year = {2005},
	pages = {331{\textendash}336},
	publisher = {IEEE},
	address = {Piscataway, NJ},
	doi = {10.1109/WETICE.2005.39},
	author = {S. Distefano and A. Puliafito and Marco Scarpa}
}
