PAT: Process Analysis Toolkit

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


Download link
Latest stable version PAT 3.5.0 includes the stable version of the CSP module and Real-Time System Module, and a beta version of PCSP and PRTS module and Labeled Transition System (LTS) module.

Click download link above or here to download. If you experience difficulty downloading, do send us an email and we shall contact you as soon as possible (within the same day).

Please See Version History for the detailed history.

If you are interested in obtaining the source code of PAT, please contact any one of the authors or send us an email. Recently, GLEE is commerialized and renamed to MSAGL: Microsoft Automatic Graph Layout. Since PAT uses MSAGL and it becomes difficult to distribute the source code. Therefore, only old version of PAT, which uses GLEE, is available upon request.

System Requirement

For Windows OS:

  • Windows Operating System: Windows XP, Windows 7, Windows 8 and Windows Server 2000/2003.
  • .NET Framework 4.0 is needed to run PAT, which can be downloaded here.

For Linux, Mac OS and others:


Install PAT 3.x in Windows XP, Vista and Windows Server 2000/2003, Windows 7:

  • Installing PAT is easy: run the setup file and follow the installation wizard. The following are the system requirements.

Install PAT 3.x in Linux, Unix, Mac OS or more, please follow these steps:

  • You should install mono tool in your system which is freely available. Please download from here according to your OS. Note that libmono-winforms2.0-cil (plus its dependencies) may need be added in order to run PAT under Linux (Ubuntu).
  • Download PAT 3.x. But choose the directly executable version to some place in your computer.
  • In your computer, start terminal application, using the command cd to the directory where you put “PAT 3.exe”;
  • Type the command mono “PAT 3.exe” into terminal.(You might need to add execute permission as chmod +x “./PAT 3.exe”) Bingo! You will see the GUI of our PAT.

Currently the latest mono 2.10.x has some problem on Mac, if you meet some error related to winforms, please use the mono-2.6.7 which is available here.
Note: PAT runs faster in Windows than other OS. The reason is that mono is not as fast as native .NET framework.

Note: If you have problem to start the Simulator, please download the DLL and put it under your installation folder.

Auto Update

Auto Update should work fine without any sepcial configuration.
However, auto updating is not avaiable for 64 bit version of PAT. We suggest you to download the latest version of 64 bit PAT from the website and install again.

PAT Installation FAQ