CPN-AMI Medio ambiente de casos basados en la red de Petri
Descargar ahora

CPN-AMI Clasificación y resumen

CPN-AMI Etiquetas

cheque modelador Petri Net Compruebe Petri Net Petri simulación neta Petri Net Modeler

CPN-AMI Descripción

Entorno de casos basados en Petri Net CPN-AMI ofrece funciones tales como instalaciones de modelado, verificación de modelos, simulación y computación de propiedades estructurales. Grupos de CPN-AMI juntos muchas herramientas adecuadas para el modelado de Petri Net y la verificación. CPN-AMI se utiliza internamente en numerosos proyectos o estudios de casos para la verificación. de sistemas paralelos. CPN-AMI también es un apoyo para la enseñanza de la teoría neta de Petri (estudiantes de posgrado, escuela de verano, etc.). Nota: CPN-AMI tiene licencia de forma gratuita para su uso en organizaciones educativas y no pro-t. ¿Qué hay de nuevo en este lanzamiento: · Corrige varios errores menores en el sistema de distribución (problemas con algunas distribuciones de Linux como Ubuntu), · PNUTS, una nueva variante de PNSDD basada en la nueva biblioteca de sus (sistemas de transisión intaciable).

CPN-AMI Software relacionado