阿恩0.1.0_Arne 0.1.0下载地址

分析生物调控网络，此实用程序。

阿恩是一个方便，易于使用的应用，专门设计为您提供一个图形化的工具来帮助您建模和分析生物的基因调控网络。它采用了mCRL2的模型检测工具套件作为后端，并建立使用Eclipse富客户端平台。

所以，如果你正在寻找一个工具来帮助您创建生物网络，阿恩旋转和检查，如果其能力能够满足您的神器出山:www.shenqi73.com需求。
“阿恩”

下面是一些主要特点：

·图形化编辑分立的监管网络，包括短期影响
·自动生成激活功能，带领单调性的限制，模态μ-演算公式，互模拟等价和多平稳/ homeostasy的制约因素
·显示的网络行为使用的mCRL2的工具ltsgraph