Bienvenu dans l'environnement CPN-AMI !

L'objectif principal de l'equipe MARS est de developper des methodes,
des techniques et des outils pour specifier et verifier une solution.
En parallele avec la recherche theorique et le developpement d'outils,
nous etudions comment combiner des outils de maniere a maitriser le
processus de developpement.

L'environnement AMI a ete developpe suivant ces objectifs. C'est un
atelier supportant:
	- des mecanismes d'integration pour des applications heterogenes,
	- des mecanismes d'echanges normalises,
	- une interface utilisateur standard et multi-formalismes,
	- gestion des utilisateurs et des donnees.
	
L'architecture de AMI est celle definie dans le modele de reference de
l'ECMA. CPN-AMI est une instance d'AMI pour les Reseaux de Petri Colores.

Configuration necessaire pour l'installation de CPN-AMI:

     Pour l'Atelier
     	
     	- Une station de travail SUN Sparc (IPC ou plus recommandee)
     	- Au moins 16 Mo de memoire centrale
     	- SunOS 4.1.3
     	- Au moins 32 Mo d'espace de swap (64 Mo recommandes)
     	- 16 Mo d'espace disque pour installer les binaires
     	
     Pour la documentation
     	
     	- 26 Mo d'espace disque pour extraire les fichiers Postscript
     	
     Pour l'interface utilisateur
     
     	- Un Macintosh 68020 ou superieur
     	- MacOS 7.x
     	- Un MacTCP ou un cable de liaison serie
     	
Structure du repertoire AMI sur le serveur FTP:
-----------------------------------------------

ami/binaries/package:

	Ce repertoire contient le package CPN-AMI avec l'Atelier, une
	version angalise de l'interface utilisateur Macao et les outils.
	La derniere version	du package contient toutes les dernieres
	mises a jour des outils et de l'interface utilisateur.
	
 - le fichier cpn-ami.1-3.tar contient:
	README          --> La version anglaise !
	LISEZ_MOI       --> Ce fichier.
	LICENSE.US      --> Information sur les licences (anglais).
	LICENCE.FR      --> Information sur les licences.
	installation.ps --> Guide d'installation au format Postscript.
	cpn-ami.tar.gz  --> Les binaires de CPN-AMI.
	Macao2.4-US.sea.hqx     --> L'interface utilisateur Macao (version US).
	Formalisms+Examples.tar --> Des formalismes et des exemples de modeles.
	*.sh            --> Les scripts d'installation.
	gtar            --> L'utilitaire tar de GNU.
	gzip            --> L'utilistaire de compression de GNU.
	
ami/binaries/interface:

	Ce repertoire contient toutes les versions de l'interface
	utilisateur Macao pour chaque langue ( Anglaise(GB), Francaise(F),
	Italienne(I), Espagnole(E), Allemande(D), Hollandaise(NL),
	Portuguaise(P) ). Vous pouvez prendre la version appropriee si
	vous ne voulez pas utiliser la version anglaise.
	
ami/documentation: (documentation.tar.gz)

	Ce repertoire contient la documentation en anglais (et quelques 
	unes en francais) sur le projet MARS, l'environnement AMI ainsi que
	tous les outils. Tous les fichiers sont au format Postscript et ont ete
	generes par FrameMaker avec le driver Apple LaserWriter version 8.1.1
	(Postscript Job, ASCII, Level 1 compatible).
	Si vous ne desirez avoir que la documentation de Macao, elle se trouve
	dans le repertoire ami/documentation/interface avec un logiciel DropPS
	qui vous permettra de l'imprimer.
	
Le fichier LICENCE.FR decrit comment obtenir une licence de CPN-AMI.
