| TAPAAL Un editor independiente gratuito y simulador de redes de Petri de arco de tiempo |
Descargar ahora |
TAPAAL Clasificación y resumen
- Nombre del editor:
- TAPAAL Team
- Sitio web del editor:
- http://www.tapaal.net/index.php?id=24
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 3.6 MB
TAPAAL Etiquetas
TAPAAL Descripción
Un editor independiente gratuito y un simulador de redes de petri de arco cronometrado. TAPAAL es una herramienta de código abierto para el modelado, la simulación y la verificación de las redes de Petri de ARC de tiempo desarrolladas en el departamento de informática en la Universidad de Aalborg en Dinamarca. Timed-ARC Petri Net (Tapn) es una extensión de tiempo del modelo clásico de Petri Net (A Modelo gráfico comúnmente utilizado de los cálculos distribuidos introducidos por Carl Adam Petri en su dissación en 1962). La extensión de tiempo que consideramos permite el tratamiento explícito de tiempo real, que está asociado con los tokens en la red (cada fichas tiene su edad propia) y los arcos de lugares a las transiciones se etiquetan por intervalos de tiempo que restringen la edad de los tokens que pueden ser utilizado para despedir la transición respectiva. En Tapaal, se implementa una extensión furtor de este modelo con invariantes en lugares y con arcos de transporte (que son más expresivos que, por ejemplo, previamente considerados lectura-arcos). Las herramientas TAPAAL ofrecen un simulador para experimentar con las redes diseñadas, un editor gráfico Para dibujar modelos de tapn, y un entorno de verificación que permite responder a las consultas lógicas en un subconjunto de lógica de CTL (esencialmente, por ejemplo, AF, EF, AG Formulas Witapaal, también permite verificar automáticamente si una red dada es elimitado por un número dado . El algoritmo de verificación traduce las consultas TAPAAL en UPPAAL y se basa en el motor Uppaal. Aquí hay algunas características clave de "TAPAAL": · Una GUI gráfica para dibujar las redes de petri de cronometraje extendido. · Un simulador · Un módulo de traducción para la verificación de las consultas lógicas.
TAPAAL Software relacionado