Welcome to the CPN-AMI environment !

The main objective of the MARS team is to develop methods, techniques
and tools to specify and verify a solution. In parallel with theorical
investigation and the development of tools, we are studying how to
combine tools in order to define safe development process.

The AMI environment we have developed fit these objectives. It is a 
platform that supports:
	- integration mechanisms for heterogeneous applications,
	- exchange mechanisms which have been normalized,
	- a standard user interface that supports several formalisms,
	- user and data management,
	
The architecture of AMI is the one defined in the ECMA reference model.
CPN-AMI is an instance of AMI for Coloured Petri Nets.

Requirements to install this evaluation version of CPN-AMI:

   For the Framework

	- A SUN Sparc station (IPC or higher recommended)
	- At least 16 Mb of RAM
	- SunOS 4.1.3
	- At lest 32 Mb of swap space (64 recommended)
	- 16Mb  of disk space to install CPN-AMI binaries
	
   For the documentation

	- 26 Mb of disk space to extract the ful Postscript documnetation.

   For the User interface
  	
  	- A Macintosh 68020 or higher
  	- System 7.x
  	- MacTCP or a serial line cable

	
Structure of the AMI directory on the FTP server:
-------------------------------------------------

ami/binaries/package:
	
	This directory includes CPN-AMI packages with the Framework,
	the english version of the user interface MACAO and the tools. 
	The last version of the package contents all the updated version
	of the tools.
	
 - the file cpn-ami.1-3.tar includes:
	README          --> This file !
	LISEZ_MOI       --> The french version of this file.
	LICENCE.FR      --> The french version of the license file.
	LICENSE.US      --> The english version of the license file.
	installation.ps --> AMI installation guide in Postscript format.
	cpn-ami.tar.gz  --> CPN-AMI Binaries and installation scripts.
	Macao2.4-US.sea.hqx --> The MACAO user interface (US version).
	Formalisms+Examples.tar --> Formalisms and model examples.
	*.sh            --> Installation scripts
	gtar            --> The GNU tar utility.
	gzip            --> The GNU compress utility.

ami/binaries/interface:
	
	This directory includes all the Macao user interface versions for 
	each language ( English(GB), French(F), Italian(I), Spanish(SP),
	German(D), Netherlands(NL), Portuguese(P) ). Get the appropriate 
	version if you want.
		
ami/documentation: (documentation.tar.gz)

	You will find here all the english documentation (and some 
	in french) related to the MARS project and the AMI environment.
	All the files are in PostScript format and have been generated 
	by FrameMaker with the Apple LaserWriter driver version 8.1.1 
	(Postscript Job, ASCII, Level 1 compatible).
	If you only need Macao documentation, it is in the
	ami/documentation/interface with a software 'DropPS' that let you dowload
	it to the PostScript laser printer.	

Please read the file LICENSE.US to get a license for CPN-AMI.

