Read Me

Helena is a High Level Nets Analyzer.  It can be used to model check
high level Petri nets.  It is a free software written in portable Ada
under the GPL license (see file COPYING).

Download the latest version of the tool at the following url:
   http://sourceforge.net/projects/helena-mc/

This directory should contain the following files and directories.

--> install
  an install script. to launch it simply type "install"

--> AUTHORS
  a list of the active developers of Helena

--> COPYING
  the GNU General Public License

--> README
  this file

--> VERSIONS
  describes the different versions of Helena with new features, new options,
  bugs fixed, ...

--> bin/
  contains executable files of Helena after compilation

--> docs/
  contains some documents related to Helena. mainly the user guide and
  the syntax summary

--> emacs/
  contains a Helena major mode for emacs

--> samples/
  contains some example files

--> src/
  contains the source files of Helena

--> src-docs/
  contains some html files generated by naturaldocs and gnathtml that
  describe the source code.  open files
     o src-docs/gnathtml/html/index.htm
     o src-docs/naturalDocs/html/index.html
  to see the doc

--> xml/
  contains the Document Type Definition and the Stylesheets for xml reports


-------------------------------------------------------------------------------
Sami Evangelista