Qualitative Petri Net Modelling of Genetic Networks
暂无分享,去创建一个
[1] Denis Thieffry,et al. From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits , 2006, Trans. Comp. Sys. Biology.
[2] Martine Labbé,et al. Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[4] H Matsuno,et al. Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[5] Gong-Xin Yu,et al. Ruleminer: a Knowledge System for Supporting High-throughput Protein Function Annotations , 2004, J. Bioinform. Comput. Biol..
[6] Luis Mendoza,et al. A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.
[7] Pierre N. Robillard,et al. Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..
[8] Denis Thieffry,et al. Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.
[9] Hidde de Jong,et al. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..
[10] D. Thieffry,et al. Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .
[11] D Thieffry,et al. GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. , 2006, Bio Systems.
[12] Stefan Schuster,et al. Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..
[13] Hanna Klaudel,et al. Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets , 2005, ICATPN.
[14] Kurt Jensen,et al. An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.
[15] Gianfranco Ciardo,et al. Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.
[16] P J Goss,et al. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.
[17] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[18] Denis Thieffry,et al. Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.
[19] Denis Thieffry,et al. Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.
[20] R Hofestädt,et al. Quantitative modeling of biochemical networks , 1998, Silico Biol..
[21] Stephen Gilmore,et al. Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.
[22] V. N. Reddy,et al. Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.
[23] Wolfgang Reisig,et al. Applications and Theory of Petri Nets 2004 , 2004, Lecture Notes in Computer Science.
[24] Denis Thieffry,et al. Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets , 2004, ICATPN.
[25] René Thomas. Regulatory networks seen as asynchronous automata: A logical description , 1991 .
[26] Monika Heiner,et al. Petri Net Based Model Validation in Systems Biology , 2004, ICATPN.
[27] L. Glass,et al. The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.