Software para Modelado de Sistemas Concurrentes

• Versión modificada de Renew para análisis de propiedades cualitativas y cuantitativas

Para ejecutarlo se necesita tener instalada la máquina virtual de Java. Está verificado con la versión 1.4.2_10