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, AMI is a client/server package composed of a client user interface (Macao) which runs on a Macintosh and a server framework which runs on a Sun workstation. The architecture of AMI is the one defined in the ECMA reference model. What is CPN-AMI: --------------- CPN-AMI is an instance of AMI for Coloured Petri Nets. CPN-AMI contains * For place/transition nets and Colored Petri Nets - Graphical user interface, - Syntaxic Checker and Compiler * For the place/transition nets: Structural properties - Bounds, Structural bounds, - Conservation, Repetitive,Stationnary repetitive Graph properties - Traps, - Deadlocks, Linear Properties - P-flows, - T-semi-flows, P-semi-flows, - Reductions - ADA Prototyping * For the Colored Petri Nets - Flows, - Reduction - ADA Prototyping What is Macao: ------------- Macao is a general purpose stand-alone graph editor. The graph editor comes with "formalisms" files which contain information about the kind of graph you want to draw. One particular formalism file called "AMI-Net" is used to draw Coloured Petri Nets. To use it, you need - A 68020 or higher Macintosh - MacOS 7.x Macao is free for Universities and you can have the latest version on the anonymous ftp site: ftp.lip6.fr directory lip6/softs/ami/binaries/interface/ Here are differents versions English(US), French(F), Italian(I), Spanish(SP), German(D), Netherlands(NL), Portuguese(P), formalism files and examples. The Macao documentation is in PostScript form in lip6/softs/ami/documentation/interface/ You don't need any password to run Macao stand-alone but we'll be pleased if you tell us if you use it. What is the framework --------------------- CPN-AMI framework is a server of Petri Nets tools. Macao programs becomes client of Petri Nets tools. To connect Macao and the framework, you need 'MacTCP' or a serial line cable. The whole package is free for Universities and you can have the latest version on the anonymous ftp site: ftp.lip6.fr directory lip6/softs/ami/binaries/package/cpn-ami.1-3.tar - the file cpn-ami.1-3.tar (tar xf cpn-ami.1-3.tar) includes: 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. The framework and tools documentations are in PostScript form in lip6/softs/ami/documentation/documentation.tar.gz. To use the whole package, you have to register your copy. We need: the IP address of the Sun used for CPN-AMI and its hostID. (see LICENSE.US). Requirements to install this 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) - 16 Mb of disk space to install CPN-AMI binaries For the documentation - 26 Mb of disk space to extract the ful Postscript documentation. 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. The MARS Team - C. Girault MASI Laboratory Universite Pierre et Marie Curie 4 Place Jussieu France email: mars@lip6.fr