GridSPN: a Grid-based non Markovian Petri Nets Tool.

Salvatore Distefano, Antonio Puliafito, Marco Scarpa

Browse the full WETICE paper archive.