GRnet: A Tool for Gnetworks with Restart. - Katinka Wolter; Philipp Reinecke; Matthias Dräger (ICPE, 2015)