基于Petri网和SBML的可视化生物建模语言的研究
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 绪论 | 第8-13页 |
| ·课题背景 | 第8-9页 |
| ·国内外现状 | 第9-11页 |
| ·本文目的及意义 | 第11-12页 |
| ·本文主要研究内容 | 第12-13页 |
| 第2章 可视化生物建模 | 第13-27页 |
| ·Petri网 | 第13-16页 |
| ·一般Petri网 | 第14-15页 |
| ·混合Petri网 | 第15-16页 |
| ·混合函数性Petri网 | 第16页 |
| ·SBML | 第16-20页 |
| ·SBML的应用领域 | 第16-18页 |
| ·SBML的语法结构 | 第18页 |
| ·应用示例 | 第18-20页 |
| ·图文法 | 第20-26页 |
| ·图文法的基本定义 | 第21-23页 |
| ·图文法的解析算法 | 第23-24页 |
| ·时间复杂性分析 | 第24-25页 |
| ·用图文法描述XML | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 可视化Petri网 | 第27-41页 |
| ·Petri网的图文法 | 第27-30页 |
| ·改进的Petri网图文法 | 第30-40页 |
| ·Petri网的图文法框架 | 第30-32页 |
| ·Petri网的图文法实例 | 第32-39页 |
| ·Petri网图文法的时间复杂性 | 第39-40页 |
| ·Petri网图文法的实用性讨论 | 第40页 |
| ·本章小结 | 第40-41页 |
| 第4章 Petri网与SBML的转换 | 第41-52页 |
| ·Petri网和SBML | 第41-43页 |
| ·Petri网和SBML的转换文法 | 第43-51页 |
| ·Petri网与SBML转换的图文法框架 | 第43-44页 |
| ·Petri网与SBML转换的图文法实例 | 第44-51页 |
| ·Petri网与SBML转换图文法的时间复杂性 | 第51页 |
| ·Petri网与SBML转换图文法的完备性讨论 | 第51页 |
| ·本章小结 | 第51-52页 |
| 第5章 实现及应用 | 第52-60页 |
| ·文法的实现 | 第52-54页 |
| ·输入界面 | 第52-53页 |
| ·规约算法 | 第53页 |
| ·文本SBML的输入与输出 | 第53-54页 |
| ·图形规约的例子 | 第54-57页 |
| ·生物领域模型转换的例子 | 第57页 |
| ·本章小结 | 第57-60页 |
| 结论 | 第60-61页 |
| 参考文献 | 第61-66页 |
| 致谢 | 第66页 |
