Dispose on GSPNAnalysis close
Drag nodes around on reachability graph