-
2
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata T (1989) Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77: 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
5
-
-
0032499741
-
Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
-
Goss P, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences 95: 6750-6755.
-
(1998)
Proceedings of the National Academy of Sciences
, vol.95
, pp. 6750-6755
-
-
Goss, P.1
Peccoud, J.2
-
7
-
-
79958020937
-
Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
-
DOI 10.1007/s11047-009-9152-x
-
Marwan W, Wagler A, Weismantel R (2009) Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks. Natural Computing DOI 10.1007/s11047-009-9152-x.
-
(2009)
Natural Computing
-
-
Marwan, W.1
Wagler, A.2
Weismantel, R.3
-
8
-
-
68549085469
-
Executing multicellular differentiation: Quantitative predictive modelling of C. elegans vulval development
-
Bonzanni N, Krepska E, Feenstra K, Fokkink W, Kielmann T, et al. (2009) Executing multicellular differentiation: quantitative predictive modelling of C. elegans vulval development. Bioinformatics 25: 2049-2056.
-
(2009)
Bioinformatics
, vol.25
, pp. 2049-2056
-
-
Bonzanni, N.1
Krepska, E.2
Feenstra, K.3
Fokkink, W.4
Kielmann, T.5
-
9
-
-
67651062669
-
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension
-
Chen L, Masao N, Kazuko U, Satoru M (2009) Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC Systems Biology 3: 42.
-
(2009)
BMC Systems Biology
, vol.3
, pp. 42
-
-
Chen, L.1
Masao, N.2
Kazuko, U.3
Satoru, M.4
-
10
-
-
45749112203
-
Petri nets in systems and synthetic biology
-
Schools on Formal Methods SFM, Springer. pp
-
Heiner M, Gilbert D, Donaldson R (2008) Petri nets in systems and synthetic biology. In: Schools on Formal Methods (SFM). LNCS 5016, Springer. pp 215-264.
-
(2008)
LNCS
, vol.5016
, pp. 215-264
-
-
Heiner, M.1
Gilbert, D.2
Donaldson, R.3
-
11
-
-
49949085999
-
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways
-
Breitling R, Gilbert D, Heiner M, Orton R (2008) A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings in Bioinformatics 9: 404-421.
-
(2008)
Briefings in Bioinformatics
, vol.9
, pp. 404-421
-
-
Breitling, R.1
Gilbert, D.2
Heiner, M.3
Orton, R.4
-
12
-
-
47849126239
-
A Case Study in Model-driven Synthetic Biology
-
Milano. pp
-
Gilbert D, Heiner M, Rosser S, Fulton R, Gu X, et al. (2008) A Case Study in Model-driven Synthetic Biology. In: Proc. 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC), IFIP WCC 2008, Milano. pp 163-175.
-
(2008)
Proc. 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC), IFIP WCC
, pp. 163-175
-
-
Gilbert, D.1
Heiner, M.2
Rosser, S.3
Fulton, R.4
Gu, X.5
-
13
-
-
77649331470
-
-
Heiner M, Donaldson R, Gilbert D (in Press, 2010) Petri Nets for Systems Biology. In: Iyengar MS, ed (in Press, 2010) Symbolic Systems Biology Theory and Methods, Jones and Bartlett Publishers, Inc.
-
Heiner M, Donaldson R, Gilbert D (in Press, 2010) Petri Nets for Systems Biology. In: Iyengar MS, ed (in Press, 2010) Symbolic Systems Biology Theory and Methods, Jones and Bartlett Publishers, Inc.
-
-
-
-
14
-
-
33845569120
-
Petri Net Based Descriptions for Systematic Understanding of Biological Pathways
-
Matsuno H, Li C, Miyano S (2006) Petri Net Based Descriptions for Systematic Understanding of Biological Pathways. IEICE Trans Fundam Electron Commun Comput Sci E89-A(11): 3166-3174.
-
(2006)
IEICE Trans Fundam Electron Commun Comput Sci
, vol.E89-A
, Issue.11
, pp. 3166-3174
-
-
Matsuno, H.1
Li, C.2
Miyano, S.3
-
15
-
-
34548302044
-
Petri Net Modelling of Biological Networks
-
Chaouiya C (2007) Petri Net Modelling of Biological Networks. Briefings in Bioinformatics 8: 210-219.
-
(2007)
Briefings in Bioinformatics
, vol.8
, pp. 210-219
-
-
Chaouiya, C.1
-
16
-
-
34548381311
-
Pathway switching explains the sharp response characteristic of hypoxia response network
-
Yu Y, Wang G, Simha R, Peng W, Turano F, et al. (2007) Pathway switching explains the sharp response characteristic of hypoxia response network. PLoS Comput Biol 3: e171.
-
(2007)
PLoS Comput Biol
, vol.3
-
-
Yu, Y.1
Wang, G.2
Simha, R.3
Peng, W.4
Turano, F.5
-
18
-
-
3042808208
-
Properties of Switch-like Bioregulatory Networks Studied by Simulation of the Hypoxia Response Control System
-
Kohn K, Riss J, Aprelikova O, Weinstein J, Pommier Y, et al. (2004) Properties of Switch-like Bioregulatory Networks Studied by Simulation of the Hypoxia Response Control System. Mol Cell Bio 15: 3042-3052.
-
(2004)
Mol Cell Bio
, vol.15
, pp. 3042-3052
-
-
Kohn, K.1
Riss, J.2
Aprelikova, O.3
Weinstein, J.4
Pommier, Y.5
-
19
-
-
16344386047
-
Exact Liveness Conditions of a Petri Net Class (in German)
-
Bonn
-
Lautenbach K (1973) Exact Liveness Conditions of a Petri Net Class (in German). GMD Report 82, Bonn.
-
(1973)
GMD Report
, vol.82
-
-
Lautenbach, K.1
-
20
-
-
85014438978
-
Understanding network behaviour by structured representations of transition invariants
-
Condon A, et al. eds. Algorithmic Bioprocesses Springer
-
Heiner M (2009) Understanding network behaviour by structured representations of transition invariants. In: Condon A, et al. eds. Algorithmic Bioprocesses Springer, Natural Computing series. pp 367-389.
-
(2009)
Natural Computing series
, pp. 367-389
-
-
Heiner, M.1
-
21
-
-
3142587028
-
Tumor microenvironmental physiology and its implications for radiation oncology
-
Elsevier
-
Vaupel P (2004) Tumor microenvironmental physiology and its implications for radiation oncology. In: Seminars in radiation oncology. Elsevier, volume 14. pp 198-206.
-
(2004)
Seminars in radiation oncology
, vol.14
, pp. 198-206
-
-
Vaupel, P.1
-
22
-
-
33646073770
-
Oxygen and retinopathy of prematurity
-
Saugstad O (2006) Oxygen and retinopathy of prematurity. Journal of Perinatology 26: S46-S50.
-
(2006)
Journal of Perinatology
, vol.26
-
-
Saugstad, O.1
-
23
-
-
0029859510
-
Hypoxia-inducible factor 1 levels vary exponentially over a physiologically relevant range of O2 tension
-
Jiang B, Semenza G, Bauer C, Marti H (1996) Hypoxia-inducible factor 1 levels vary exponentially over a physiologically relevant range of O2 tension. American Journal of Physiology- Cell Physiology 271: 1172-1180.
-
(1996)
American Journal of Physiology- Cell Physiology
, vol.271
, pp. 1172-1180
-
-
Jiang, B.1
Semenza, G.2
Bauer, C.3
Marti, H.4
-
24
-
-
0026468180
-
A nuclear factor induced by hypoxia via de novo protein synthesis binds to the human erythropoietin gene enhancer at a site required for transcriptional activation
-
Semenza G, Wang G (1992) A nuclear factor induced by hypoxia via de novo protein synthesis binds to the human erythropoietin gene enhancer at a site required for transcriptional activation. Mol Cell Bio 12: 5447-5454.
-
(1992)
Mol Cell Bio
, vol.12
, pp. 5447-5454
-
-
Semenza, G.1
Wang, G.2
-
25
-
-
0037131159
-
Sequence determinants in hypoxia-inducible factor-1α for hydroxylation by the prolyl hydroxylases PHD1, PHD2, and PHD3
-
Huang J, Zhao Q, Mooney S, Lee F (2002) Sequence determinants in hypoxia-inducible factor-1α for hydroxylation by the prolyl hydroxylases PHD1, PHD2, and PHD3. Journal of Biological Chemistry 277: 39792-39800.
-
(2002)
Journal of Biological Chemistry
, vol.277
, pp. 39792-39800
-
-
Huang, J.1
Zhao, Q.2
Mooney, S.3
Lee, F.4
-
26
-
-
0041465022
-
HIF prolyl-hydroxylase 2 is the key oxygen sensor setting low steady-state levels of HIF-1α in normoxia
-
Berra E, Benizri E, Ginouvès A, Volmat V, Roux D, et al. (2003) HIF prolyl-hydroxylase 2 is the key oxygen sensor setting low steady-state levels of HIF-1α in normoxia. The EMBO journal 22: 4082-4090.
-
(2003)
The EMBO journal
, vol.22
, pp. 4082-4090
-
-
Berra, E.1
Benizri, E.2
Ginouvès, A.3
Volmat, V.4
Roux, D.5
-
27
-
-
0029772338
-
Expression pattern of the von Hippel-Lindau protein in human tissues
-
Los M, Jansen G, Kaelin W, Lips C, Blijham G, et al. (1996) Expression pattern of the von Hippel-Lindau protein in human tissues. Laboratory investigation; a journal of technical methods and pathology 75: 231-238.
-
(1996)
Laboratory investigation; a journal of technical methods and pathology
, vol.75
, pp. 231-238
-
-
Los, M.1
Jansen, G.2
Kaelin, W.3
Lips, C.4
Blijham, G.5
-
28
-
-
33748774664
-
A computational model of intracellular oxygen sensing by hypoxiainduciblefactor HIF1α
-
Qutub A, Popel A (2006) A computational model of intracellular oxygen sensing by hypoxiainduciblefactor HIF1α. Journal of Cell Science 119: 3467-3480.
-
(2006)
Journal of Cell Science
, vol.119
, pp. 3467-3480
-
-
Qutub, A.1
Popel, A.2
-
29
-
-
67349241646
-
Gene regulation in response to graded hypoxia: The non-redundant roles of the oxygen sensors PHD and FIH in the HIF pathway
-
Dayan F, Monticelli M, Pouysségur J, Pécou E (2009) Gene regulation in response to graded hypoxia: The non-redundant roles of the oxygen sensors PHD and FIH in the HIF pathway. Journal of Theoretical Biology 259: 304-316.
-
(2009)
Journal of Theoretical Biology
, vol.259
, pp. 304-316
-
-
Dayan, F.1
Monticelli, M.2
Pouysségur, J.3
Pécou, E.4
-
30
-
-
33746061326
-
From Petri nets to differential equations - an integrative approach for biochemical network analysis
-
Proc. ICATPN, Springer. pp
-
Gilbert D, Heiner M (2006) From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Proc. ICATPN 2006. LNCS 4024, Springer. pp 181-200.
-
(2006)
LNCS
, vol.4024
, pp. 181-200
-
-
Gilbert, D.1
Heiner, M.2
-
31
-
-
27544485048
-
Petri Net Based Model Validation in Systems Biology
-
Proc. ICATPN, Springer. pp
-
Heiner M, Koch I (2004) Petri Net Based Model Validation in Systems Biology. In: Proc. ICATPN 2004, LNCS 3099 Springer. pp 216-237.
-
(2004)
LNCS
, vol.3099
, pp. 216-237
-
-
Heiner, M.1
Koch, I.2
-
33
-
-
77649299411
-
-
Charlie Website (2008) A tool for the analysis of place/transition Petri nets. BTU Cottbus, http://www-dssz.informatik.tu-cottbus.de/software/charlie/ charlie. html.
-
Charlie Website (2008) A tool for the analysis of place/transition Petri nets. BTU Cottbus, http://www-dssz.informatik.tu-cottbus.de/software/charlie/ charlie. html.
-
-
-
-
34
-
-
7644238181
-
Biological robustness
-
Kitano H (2004) Biological robustness. Nature Reviews Genetics 5: 826-837.
-
(2004)
Nature Reviews Genetics
, vol.5
, pp. 826-837
-
-
Kitano, H.1
-
35
-
-
4544346660
-
Robustness of cellular functions
-
Stelling J, Sauer U, Szallasi Z, Doyle F, Doyle J (2004) Robustness of cellular functions. Cell 118: 675-685.
-
(2004)
Cell
, vol.118
, pp. 675-685
-
-
Stelling, J.1
Sauer, U.2
Szallasi, Z.3
Doyle, F.4
Doyle, J.5
-
36
-
-
34548825690
-
Towards a theory of biological robustness
-
Kitano H (2007) Towards a theory of biological robustness. Molecular systems biology 3: 1-7.
-
(2007)
Molecular systems biology
, vol.3
, pp. 1-7
-
-
Kitano, H.1
-
38
-
-
38549096995
-
Robustness and evolution: Concepts, insights and challenges from a developmental model system
-
Felix M, Wagner A (2006) Robustness and evolution: concepts, insights and challenges from a developmental model system. Heredity 100: 132-140.
-
(2006)
Heredity
, vol.100
, pp. 132-140
-
-
Felix, M.1
Wagner, A.2
|