TAPAALHerramienta para verificacin de sistemas entiempo
real.
Est diseado para modelar redes deautmatas temporizados
extendidos, convariables enteras, tipos de datos estructuradosy
canales de sincronizacin.
El algoritmo de verificacin de las consultasTAPAAL se traduce en
los UPPAAL y se basaen el motor de verificacin de UPPALL.
7/22/2019 Modeladores de Redes Petri
3/4
CPN TOOLSTiene 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 derendimiento.
7/22/2019 Modeladores de Redes Petri
4/4
HPSIMHPSIM tiene un editor grfico que proporcionauna edicin
bsica y simulacin de redes dePetri. La herramienta es til para los
principiantescomo los estudiantes con el fin de familiarizarsecon
las Redes de Petri.
