Arne est une application pratique et facile à utiliser spécialement conçue pour vous offrir un outil graphique pour vous aider à modéliser et à analyser les réseaux de réglementation biologique. Il utilise la suite MCRL2 Model Checker en tant que back-end et construit à l'aide de la plate-forme client riche Eclipse. Donc, si vous recherchez un outil pour vous aider à créer des réseaux biologiques, prenez des arnes pour une rotation et vérifiez si ses capacités peuvent satisfaire vos besoins. Caractéristiques principales: Édition graphique des réseaux de réglementation discrets, y compris l'effet à court terme Génération automatique de fonctions d'activation, dirigées par des contraintes de monotonicité, des formules modales mu-calculas, des équivalences de bisimulation et des contraintes multi-stationnarité / homéostasie affichage du comportement réseau à l'aide de l'outil MCRL2 LTSGRAPH
softwaresea.com fournit le dernier centre de téléchargement de logiciels gratuits et écologiques au pays et à l'étranger, y compris des logiciels informatiques, des applications Apple, des applications Android et d'autres téléchargements gratuits de logiciels informatiques mobiles. Si vous voulez en savoir plus sur les logiciels verts gratuits, téléchargez-les sur softwaresea.com !