A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking