A Arne é uma aplicação prática e fácil de usar especialmente projetada para oferecer uma ferramenta gráfica para ajudá-lo a modelar e analisar redes regulatórias biológicas. Ele usa a suíte do Verificador de Modelo MCRL2 como back-end e é construída usando a plataforma Rich Client Eclipse. Então, se você estivesse procurando uma ferramenta para ajudá-lo a criar redes biológicas, tire Arne por um giro e confira se suas capacidades podem satisfazer suas necessidades. Principais características: Edição gráfica de redes reguladoras discretas, incluindo efeito de curto prazo Geração automática de funções de ativação, dirigida usando restrições de monotonicidade, fórmulas Modal Mu-cálculo, equivalências de bissimulação e restrições multi-estacionariedade / homeostasia Exibindo o comportamento da rede usando a ferramenta McRl2 Ltsgraph
softwaresea.com fornece o mais recente centro de download de software verde gratuito em casa e no exterior, incluindo software de computador, aplicativo da apple, aplicativo Android e outros downloads de software móvel gratuito para computador. Se você quiser saber mais sobre o software livre verde, baixe-o em softwaresea.com!