MC2-PLTL模型检查器和相关文件

MC2 1.0.zip版-整个包装,包括:

  • gillespie0.11-修改/-修改的gillespie2版本0.1.1用于生成模型随机模拟的源。请重新编译以为您的体系结构生成gillespie2二进制文件。
  • 模型/-具有摩尔浓度的Kholondenko、Levchenko和Two反应模型,以及带有分子数的Levchenko和Two反应模型(文件名后缀:#分子)。
  • 查询/-与MC2工具和unix脚本一起使用的查询示例,以在更大的级别上创建查询。
  • 模拟输出/-与MC2工具一起使用的示例仿真输出。

  • gillespie2-levchenko_4.跑步,gillespie2-tworeactionmodel_10.运行-示例为修改后的gillespie2模拟器运行命令以生成一个包含100个模拟输出的文件。
  • MC2.jar版-用Java v1.5.0\u 07编译的MC2模型检查器。
  • MC2.运行-示例运行MC2工具的命令,检查三种类型的输出;确定性、随机性和(确定性)参数扫描。
  • 用户手册.pdf-MC2的用户手册,解释了如何安装和运行各种模拟器和执行模型检查。

    MC2©是生物信息学研究中心格拉斯哥大学,英国。MC2作者:罗宾唐纳森

    对的总体查询大卫-吉尔伯特.

    上次更新时间:2008年1月19日