PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

Simulation window is redesigned completely

The docking control is used in the simulation window with dockable “data pane” and “event and trace pane”. In this way, there will be more space for graph panel.
Icons are added to the buttons to make them more meaningful.
All possible exceptions will be caught to prevent crashing of the system.