Entry last updated: 2010/11/15
Entry last validated: 2010/11/15

Tool homepage: http://www.lip6.fr/cpn-ami

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

CPN-AMI 3.5 is the Petri net based Software engineering environment designed at the "Laboratoire d'Informatique de Paris 6" (LIP6), Université Pierre & Marie Curie, France. CPN-AMI is built on top of FrameKit: a generic platform for the implementation of software engineering environments.

The last version runs on PC/Linux (Mandrake or Redhat) and now also on Mac/MacOS (version 10.5.x or later). It requires a Macintosh for the user interface. The Petri net dialect in CPN-AMI is AMI-Net (Well Formed Colored Petri nets with syntactic constraints). CPN-AMI proposes about 60 services dedicated to the modeling and verification of systems by means of Petri nets:

To get CPN-AMI, please click here. CPN-AMI is free of charges for university and non profit organizations. For more administrative information on CPN-AMI, please contact cpn-ami[at]lip6.fr.

Contact Information

Fabrice Kordon
Laboratoire d'Informatique de Paris 6 (LIP6)
4 place Jussieu
75252 Paris Cedex 05

Phone:  +33 1 44 27 61 89
Fax:    +33 1 44 27 74 05
E-mail: cpn-ami@lip6.fr

Other Remarks

[PN Home][*]
The maintainers of this page