CPN/AMI
CPN/AMI is the instantiated version of AMI, an interactive toolkit for creation, manipulation, simulation, transformation, analysis and checking of typed graphs with attributes.
- Environment:
- Macintosh for the user interface (MACAO) connected to a Sun Sparc station for the AMI platform
- Origin:
- MASI Lab., Université Paris VI, France
- Kind of Nets supported:
- AMI-Nets including CPN and P/T Nets
- Functionalities:
- Graphical EDITOR (MACAO)
- forward and backward ANIMATION with break point conditions and data extraction
- Syntax checker
- Compiler
- ANALYSIS:
- for P/T Nets: structural properties (bounds, structural bounds, conservation, repetitiveness ...), graph properties (traps and deadlocks), Invariants, Reductions, ADA prototyping
- for CPN: Invariants, Reductions and Prototyping, the PROD tool for the construction of the reachability graph has been integrated
- Components of the environment:
- MACAO: user interface for graphs editing and display of services
- SANDRINE: Petri Net Compiler to access CPN-AMI services
- RIP (Research of Invariants and Properties for P/T Nets)
- MIAMI: expert system for the analysis and validation of combinatory properties of graphs
- MAPLE: interactive analysis and verification of properties of Petri Net formalisms
- CPN/FARM (Flow Analysis and Reduction Method)
- CPN/DESIR (DEbugger and SImulatoR)
- CPN/TAGADA (Translation, Analysis and Generation of ADA code)
- Availability:
-
- References:
- Documentation available at ftp.ibp.fr
- MASI Laboratory: MARS. Modelling, Analysis and pRototyping of parallel Systems [mas92]
- J. M. Bernard, J. L. Mounier, N. Beldiceanu, S. Haddad: AMI - An extensible Petri Net Interactive Workshop [bmb88]
- Tool description at DAIMI