Procrustes下载地址

基于模式的属性编辑器

Procrustes被开发为一个可访问的模式为基础的属性编辑器。该软件允许你转换到一个时序逻辑公式（CTL，CTRL和mu-演算的支持）模式。

，普鲁克是一个工具，配备了两个模块，一个图形用户界面和模式翻译API。

在最近几年，越来越大细胞相互作用网络的神器出山:www.shenqi73.com动态模型。这些模型的研究，分析和仿真工具生成大量的可能的系统的动力学行为的预测。