In this minor release, the update include the following:
1 Bugs for alphabet calculation are fixed in all modules.
2 Model Explorer is added in the GUI.
3 More examples are added in the CSP module.
Monthly archives for December, 2010
24, Dec, 2010: PAT 3.2.1 is released!
11, Dec, 2010: Videos are avaiable for PCSP and NesC module!
3, Dec, 2010: PAT 3.2.0 is released!
Latest stable version PAT 3.2.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.
For the detailed update, please refer to Version History.