PSF - Process Specification Formalism

Download the PSF-Toolkit

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

Tested on


You probably also need to install the following packages:


This toolkit is copyrighted by Bob Diertens, 1992-2022. It may be used free of charge for educational purposes only.

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



You have to download the following gzipped tar-files:


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

It is probably the best to make a directory PSF in your home directory, say /home/userX/PSF, and another directory /home/userX/PSF/psf147.
Move psf-dep-bundle-0.1.2.tar.gz to /home/userX/PSF and move psf-1.4.7.tar.gz to /home/userX/PSF/psf147.
Goto /home/userX/PSF and do

tar zxf psf-dep-bundle-0.1.2.tar.gz
and then follow the instructions in the INSTALL file. Here, a typical configuration command would be
./configure --prefix=/home/userX/PSF
for installing it in the PSF directory.

Goto /home/userX/PSF/psf147 and do

tar zxf psf-1.4.7.tar.gz
and do
and it will install in the PSF directory.


The packages include the psf-dep-bundle. They will install in /usr/local/PSF.

Note that these packages are experimental at the moment. Please report any problems with them.

Linux system version package
Fedora 31 psf-1.4.6-1.fc31.x86_64.rpm
Ubuntu 18 LTS psf_1.4.6-1_amd64.deb
Ubuntu 20 LTS psf_1.4.7_amd64.deb