系统生物模型转换研究--从SBML到 Stochastic Pi Calculus

分析了系统生物标记语言（SBML）模型和用随机Pi演算对生物建模（BioSPI）的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程,提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想。