PSF - Process Specification Formalism

Download the PSF-Toolkit

The current version of the Toolkit is 1.4.0, which should run on any Unix and Linux system.

Tested on

Requirements

Copyright

This toolkit is copyrighted by the University of Amsterdam, 1992-2012. But it may be used for educational purposes free of charge.

This toolset comes with absolutely no warranty. It may not be sold and only be distributed in the form as found here.

Download

You have to download the following gzipped tar-file:

Install

Instructions for compilation and use can be found in the README file (psf) and the INSTALL file (psf-dep-bundle).