软件名称：[B]Procrustes[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.00 KB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

基于模式的属性编辑器

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

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

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

要求：

·的Java

[url=http://www.sot9.com/soft/70496.html][B]Procrustes[/B][/url]

点这里下载->Procrustes [ 下载地址 ]