Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TAPAAL
Herramienta para verificacin de sistemas en tiempo real. Est diseado para modelar redes de autmatas temporizados extendidos, con variables enteras, tipos de datos estructurados y canales de sincronizacin. El algoritmo de verificacin de las consultas TAPAAL se traduce en los UPPAAL y se basa en el motor de verificacin de UPPALL.
CPN TOOLS
Tiene la funcionalidad de: Editar y verificar sintaxis de Redes Petri. Simulacin interactiva y automtica. Construccin y anlisis de espacios de estado. Comunicacin con otras herramientas. Simulacin basada en anlisis de rendimiento.
HPSIM
HPSIM tiene un editor grfico que proporciona una edicin bsica y simulacin de redes de Petri. La herramienta es til para los principiantes como los estudiantes con el fin de familiarizarse con las Redes de Petri.