CPN-AMI es un entorno de ingeniería de software asistido por computadora basado en especificaciones de Petri Net . Proporciona la capacidad de especificar el comportamiento de un sistema distribuido y de evaluar propiedades como invariantes (preservación de recursos), ausencia de puntos muertos , vivacidad o propiedades lógicas temporales (relaciones entre eventos en el sistema).
CPN-AMI se basa en AMI-Nets, que son redes de Petri bien formadas con instalaciones sintácticas. Las redes de Petri bien formadas se elaboraron conjuntamente entre la Universidad de París 6 (Université P. & M. Curie) y la Universidad de Turín a principios de la década de 1990. Esta clase de red de Petri admite técnicas simbólicas para la verificación de modelos y, por lo tanto, proporciona una forma muy comprimida de almacenar todos los estados de un sistema.
Desde 2016, CPN-AMI ha sido catalogado por los propietarios como "todavía disponible, pero ya no se mantiene" ( Lib6 / MoVe Software en Wayback Machine (archivado el 5 de mayo de 2016)).