This package is called reach - short for reachability, and it performs
a reachability search on a safe (classical) Petri net.
outputs from the program include full state space statistics, and searchable
output can be produced in HTML format for analysis in a web browser.

Installation is simple, make the main program using make (gcc required),
copy the executable to a suitable 'bin' directory.
Copy the 'man' manual file to the appropriate directory.

This package has been developed using Linux, but should be suitable
on any unix system with gcc. The author has used the package on SunOS 4.0
and an SGI machine.

Ian G. Clark (10th August 1998).