Arne es una aplicación práctica y fácil de usar especialmente diseñada para ofrecerle una herramienta gráfica para ayudarlo a modelar y analizar redes reguladoras biológicas. Utiliza la suite de verificador modelo MCRL2 como back-end y se construye utilizando la plataforma de cliente RICH ECLIPSE. Por lo tanto, si está buscando una herramienta para ayudarlo a crear redes biológicas, tome ARNE para obtener un giro y verifique si sus capacidades pueden satisfacer sus necesidades. Principales características: Edición gráfica de redes reguladoras discretas, incluido el efecto a corto plazo Generación automática de funciones de activación, dirigida utilizando restricciones de monotonicidad, fórmulas modales de mu-cálculo, equivalencias de bisimulación y restricciones multi-estacionamiento / homeostasía Visualización del comportamiento de la red utilizando la herramienta MCRL2 LTGRAPH
softwaresea.com ofrece el último centro de descarga de software gratuito ecológico en el país y en el extranjero, incluido el software informático, la aplicación de Apple, la aplicación de Android y otras descargas gratuitas de software móvil para computadoras. Si desea obtener más información sobre el software verde gratuito, ¡descárguelo en softwaresea.com!