论文部分内容阅读
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次,就能够建立形式化分析模型,进程代数的自动验证工具也在系统分析中发挥着比较大的作用,所以进程代数在生物研究中有着很好的发展前景.