使用Petri网与拓扑集合对多细胞系统调控的定性建模与分析
计算工程、金融与科学
2010-11-08 v1
摘要
本文旨在对多细胞生物系统（特别是组织）中的调控过程进行建模与分析。该建模框架基于互连的逻辑调控网络（遵循Rene Thomas的方法），并配备了关于其空间关系的信息。此类模型的语义通过有色Petri网来表达以实现调控规则，并结合拓扑集合以实现空间信息。对空间信息的表示施加了一些约束，以保留进行枚举式穷举状态空间探索的可能性。本文介绍了该建模框架及其语义，以及一个允许在某些应用上进行初步实验的原型实现。
引用
@article{arxiv.1011.0498,
title = {Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections},
author = {Jean-Louis Giavitto and Hanna Klaudel and Franck Pommereau},
journal= {arXiv preprint arXiv:1011.0498},
year = {2010}
}
备注
In Proceedings MeCBIC 2010, arXiv:1011.0051