This directory contains specifications to be used in demonstrations.
In order of complexity/usefulness, they are:

general	overview of ways to use the PSF-Toolkit
	[ not yet complete ]

process	step by step description of how to compile and simulate a simple
	PSF process specification

data	step by step description of how to compile and evaluate an algebraic
	specification in PSF

sums	how to simulate specifications containing the "sum" construct.
	[ Not yet included ]
        
animation
	this directory demonstrates how atoms can be interpreted by real
        shell commands (assumes Perl is available)

simanim
	demonstration of simanim, a combination of the simulator and
	animation with the use of the ToolBus.

library	demonstrates the use of the PSF library, and user defined libraries
	[ Not yet included ]

mcrl	specification and verification of a simple protocol in muCRL
	written by Jan Friso Groote

buf	specification in PSF of various buffers
	written by Sjouke for his OOTI course
	[ Not yet fully worked out -- sjouke ]

fc	translate PSF into the common format FC2 and vice versa

queens	a specification of a parallel algorithm for solving the N-queens
	problem, including a program to display solutions


If you want to try these examples and you have no write permission in this
directory, you can:

	Copy the files in which you are interested to your own directory.
Or:
	Invoke the commands in your own directory.  In order to tell the
	compiler to look for psf files, set the environment variable
	PSFPATH to the directory which contains the psf files.	The mark
	??? contains the path to the psf files.  If you use a C-shell
	or comaptible, the command to do that is:

		setenv PSFPATH /path/to/the/relevant/directory:$PSFPATH

	If you use a Bourne shell or compatible, the syntax is:

		PSFPATH=/path/to/the/relevant/directory:$PSFPATH
		export PSFPATH

	Then you can call the compiler as described in the demos, except
	that you either need to specify the module which you are compiling
	or you need specify the complete path name of the file that you
	want to compile.
