Biology Reference
In-Depth Information
•
Drath, R. (1998). Hybrid object nets: an object oriented concept for modeling complex hybrid systems. Proc. Hybrid
Dynamical Systems, 3rd International Conference on Automation of Mixed Processes, ADPM'98, pp. 437-442.
•
Genrich, H., K uffner, R. and Voss, K. (2001). Executable Petri net models for the analysis of metabolic pathways.
International Journal on Software Tools for Technology Transfer
3
, 394-404.
•
Ghosh, R. and Tomlin, C. J. (2001). Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In:
Hybrid Systems: Computation and Control, 4th International Workshop, Di Benedetto, M. D. and Sangiovanni-Vincentelli,
A. L. (eds.), Lecture Notes in Computer Science
2034
, Springer, pp. 232-246.
•
Goss, P. J. E. and Peccoud, J. (1998). Quantitative modeling of stochastic systems in molecular biology by using Stochastic
Petri nets. Proc. Natl. Acad. Sci. USA
95
, 6750-6755.
•
Hofestadt, R. (1994). A Petri net application to model metabolic processes. SAMS
16
, 113-122.
•
Hofestadt R. and Thelen, S. (1998). Quantitative modeling of biochemical networks. In Silico Biol.
1
, 0006.
•
Lewin, B. (1997). Genes VI. Oxford University Press and Cell Press, Oxford, UK.
•
Matsuno, H., Doi, A., Nagasaki, M. and Miyano, S. (2000). Hybrid Petri net representation of gene regulatory network.
Pac. Symp. Biocomput.
5
, 338-349.
•
Matsuno, H., Murakami, R., Yamane, R., Yamasaki, N., Fujita, S., Yoshimori, H. and Miyano, S. (2003a). Boundary
formation by notch signaling in Drosophila multicellular systems: experimental observations and a gene network modeling
by Genomic Object Net. Pac. Symp. Biocomput.
8
, 152-163.
•
Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M. and Miyano, S. (2003b).
Biopathways representation and
simulation on hybrid functional Petri net. In Silico Biol.
3
, 0032.
•
Nagasaki, M., Doi, A., Matsuno, H. and Miyano, S. (2003). Genomic Object Net: a platform for modeling and simulating
biopathways. Applied Bioinformatics
2
, 181-184.
•
Proth, J.-M. (1997). Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems. Proc.
6th International Workshop on Petri Nets and Performance Models (PNPM '97), pp. 2-15.
•
Reddy, V. N., Mavrovouniotis, M. L. and Liebman, M. N. (1993). Petri net representations in metabolic pathways. Proc.
Int. Conf. Intell. Syst. Mol. Biol.
1
, 328-336.
•
Reisig, W. (1985). Petri Nets. Springer-Verlag, Berlin.
•
Srivastava, R., Peterson, M. S. and Bentley, W. E. (2001). Stochastic kinetic analysis of the Escherichia coli stress circuit
using
σ
32
-targeted antisense. Biotechnol. Bioeng.
75
, 120-129.
•
Srivastava, R., You, L., Summers, J. and Yin, J. (2002). Stochastic versus deterministic modeling of intracellular viral
kinetics. J. Theor. Biol.
218
, 309-321.
•
Voss, K., Heiner, M. and Koch, I. (2003). Steady state analysis of metabolic pathways using Petri nets. In Silico Biol.
3
,
0031.
•
Watson, J., Hopkins, N., Roberts, J., Steitz, J. and Weiner, A. M. (1987). Molecular Biology of the Gene, Fourth edition.
The Benjamin/Cummings Publishing Company Inc., Menlo Park, CA.
•
Wheeler, G. (1999). The modelling and analysis of IEEE802.6's configuration. In: Application of Petri Nets to
Communication Networks, Billington, J., Diaz, M. and Rozenberg, G. (eds.), Lecture Notes in Computer Science
1605
,
Springer, pp. 69-92.