Introducción
Mediante esta aplicación se facilita el cálculo del conjunto de posibles conflictos presentes en un sistema real.
Para ello se proporciona un determinado algoritmo y se facilita la posibilidad de agregar nuevos algoritmos. También se permite cargar descripciones de sistemas en distintos formatos y almacenar la salida proporcionada por dichos algoritmos. Se provee además de un visor de modelos que permitirá realizar una representación gráfica de los resultados obtenidos. Por último se proporcionan distintos idiomas en los que representar la información y además se ofrece la posibilidad de añadir nuevos.
Para obtener ayuda acerca de un determinado elemento lo ha de seleccionar en el menu de la izquierda.