INSTALLATION GUIDE TO MOSEL-2, VERSION 2.0
     This file (C) 2003 Bjoern Beutel <bjoern@linguistik.uni-erlangen.de>

MOSEL-2 should be easily portable to nearly every POSIX system on which an ISO
C90 compiler is running. You may compile MOSEL-2 using the Portable GNU C
Compiler GCC, available from <http://www.gnu.org>.

For the graphical display of evaluation results using the IGL interpreter, you
need to have Tcl/Tk, version 8.1 or later, installed on your computer
system. You can get Tcl/Tk from <http://www.scriptics.com>.

The documentation is included as a PDF file. To view or print the
documentation, you need a PDF reader, like Adobe Acrobat Reader, available from
<http://www.adobe.com>, or Xpdf, available from <http://www.foolabs.com/xpdf>.

Last but not least, you'll need an evaluation tool. MOSEL-2 cooperates with the
Petri net analysis tool SPNP (available from
<http://www.ee.duke.edu/~kst/software_packages.html>), with TimeNET (available
from <http://pdv.cs.tu-berlin.de/~timenet>), and/or with the Markov analysis
tool MOSES (which is no longer distributed, sorry). SPNP and TimeNET both run
on Solaris and Linux machines. You'll find installation instructions for these
packages together at the given URLs.


= Installing the MOSEL-2 Source Distribution ===================================

1. All the files you need to install MOSEL-2 are stored in a file called
  "mosel-2.2.0.tar.gz". Move to the directory where you want tho create the 
  MOSEL-2 directory, copy the file "mosel-2.2.0.tar.gz" to this directory and 
  enter the following commands to unpack the original files:

     gunzip mosel-2.2.0.tar.gz
     tar xf mosel-2.2.0.tar

   You will now discover a new directory "mosel-2.2.0" which contains all 
   directories and files you need.
 
2. Go to the directory "mosel-2.2.0/src" and enter "./configure". 
   MOSEL-2 will be configured for your system.

3. Enter "make".
   The source files will be compiled and the executables will be linked.

4. Enter "make install".
   The executable file "mosel2" will be installed. You'll probably need to have
   system administrator rights to have write access to the directory concerned.

5. If you want to display and print graphs of the result values, install the
   IGL interpreter (which needs Tcl/Tk): Go to the directory "mosel-2.2.0/igl"
   and enter "./install_igl". You will be guided through the installation
   procedure.

6. Make sure that the analysis and/or simulation tools are properly installed
   at your computer system.

= End of file =================================================================