-
1
-
-
0003652825
-
Modelling with generalized stochastic Petri nets
-
2nd edn. Wiley, New York
-
Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing, 2nd edn. Wiley, New York
-
(1995)
Wiley Series in Parallel Computing
-
-
Ajmone Marsan, M.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
2
-
-
78649903919
-
Petri nets for modelling metabolic pathways: A survey
-
Baldan P, Cocco N, Marin A, Simeoni M (2010) Petri nets for modelling metabolic pathways: a survey. J Nat Comput 9(4):955-989
-
(2010)
J Nat Comput
, vol.9
, Issue.4
, pp. 955-989
-
-
Baldan, P.1
Cocco, N.2
Marin, A.3
Simeoni, M.4
-
3
-
-
34548302044
-
Petri net modelling of biological networks
-
DOI 10.1093/bib/bbm029, Integrative Biology
-
Chaouiya C (2007) Petri net modelling of biological networks. Briefings Bioinform 8(4):210-219 (Pubitemid 47336806)
-
(2007)
Briefings in Bioinformatics
, vol.8
, Issue.4
, pp. 210-219
-
-
Chaouiya, C.1
-
5
-
-
37349099877
-
Protein dynamics observations of lambda-phage by hybrid Petri net
-
Doi A, Drath R, Nagaska M, Matsuno H, Miyano S (1999) Protein dynamics observations of lambda-phage by hybrid Petri net. Genome Inform 10:217-218
-
(1999)
Genome Inform
, vol.10
, pp. 217-218
-
-
Doi, A.1
Drath, R.2
Nagaska, M.3
Matsuno, H.4
Miyano, S.5
-
6
-
-
38049136584
-
A unifying framework for modelling and analysing biochemical pathways using Petri nets
-
Proceedings of the CMSB, Springer Heidelberg
-
Gilbert D, Heiner M, Lehrack S (2007) A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Proceedings of the CMSB. LNCS/LNBI 4695, Springer, Heidelberg, pp 200-216
-
(2007)
LNCS/LNBI
, vol.4695
, pp. 200-216
-
-
Gilbert, D.1
Heiner, M.2
Lehrack, S.3
-
7
-
-
79960094380
-
How might petri nets enhance your systems biology toolkit
-
Proceedings of the PETRI NETS 2011, Springer, Heidelberg
-
Heiner M, Gilbert D (2011) How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Proceedings of the PETRI NETS 2011. LNCS, vol 6709 . Springer, Heidelberg, pp 17-37
-
(2011)
LNCS
, vol.6709
, pp. 17-37
-
-
Heiner, M.1
Gilbert, D.2
-
8
-
-
45749112203
-
Petri nets in systems and synthetic biology
-
Schools on formal methods (SFM), Springer, Heidelberg
-
Heiner M, Gilbert D, Donaldson R (2008) Petri nets in systems and synthetic biology. In: Schools on formal methods (SFM). LNCS, vol 5016, Springer, Heidelberg, pp 215-264
-
(2008)
LNCS
, vol.5016
, pp. 215-264
-
-
Heiner, M.1
Gilbert, D.2
Donaldson, R.3
-
9
-
-
70450204413
-
Extended stochastic Petri nets for model-based design of wetlab experiments
-
Transactions on computational systems biology XI, Springer, Heidelberg
-
Heiner M, Lehrack S, Gilbert D, Marwan W (2009a) Extended stochastic Petri nets for model-based design of wetlab experiments. In: Transactions on computational systems biology XI, LNCS. Springer, Heidelberg, pp 138-163
-
(2009)
LNCS
, pp. 138-163
-
-
Heiner, M.1
Lehrack, S.2
Gilbert, D.3
Marwan, W.4
-
10
-
-
70349368137
-
DSSZ-MC - A tool for symbolic analysis of extended Petri nets
-
Proceedings of the PETRI NETS 2009, Springer, Heidelberg
-
Heiner M, Schwarick M, Tovchigrechko A (2009b) DSSZ-MC-a tool for symbolic analysis of extended Petri nets. In: Proceedings of the PETRI NETS 2009. LNCS, vol 5606. Springer, Heidelberg, pp 323-332
-
(2009)
LNCS
, vol.5606
, pp. 323-332
-
-
Heiner, M.1
Schwarick, M.2
Tovchigrechko, A.3
-
12
-
-
0004156072
-
-
University of California Irvine. PhD Thesis 1974. Available from University Microfilms, Ann Arbor. No. 75-11026
-
Merlin PM (1974) A study of the recoverability of computing systems. University of California, Irvine. PhD Thesis, 1974. Available from University Microfilms, Ann Arbor, No. 75-11026
-
(1974)
A Study of the Recoverability of Computing Systems
-
-
Merlin, P.M.1
-
13
-
-
78650971919
-
A unique transformation from ordinary differential equations to reaction networks
-
Soliman S, Heiner M (2010) A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 5(12):e14284
-
(2010)
PLoS ONE
, vol.5
, Issue.12
-
-
Soliman, S.1
Heiner, M.2
-
14
-
-
85034565293
-
Self-modifying nets, a natural extension of Petri nets Automata, languages and programming
-
Springer, Heidelberg
-
Valk R (1978) Self-modifying nets, a natural extension of Petri nets. In: Automata, languages and programming. LNCS, vol 62. Springer, Heidelberg, pp 464-476
-
(1978)
LNCS
, vol.62
, pp. 464-476
-
-
Valk, R.1
|