A Distributed Algorithm for GSPN Reachability Graph Generation