Biology Reference
In-Depth Information
[6]
Kojima, K., Nagasaki, M. and Miyano, S. (2008). Fast grid layout algorithm for biological networks with sweep
calculation. Bioinformatics
24
, 1433-1441.
[7]
Hashimoto, T. B., Nagasaki, M., Kojima, K. and Miyano, S. (2009) BFL: a node and edge betweenness based fast layout
algorithm for large scale networks. Bioinformatics
10
, 19.
[8]
[9]
Jeong, E., Nagasaki, M., Saito, A. and Miyano, S. (2007) Cell System Ontology: Representation for modeling, visualizing,
and simulating biological pathways. In Silico Biol.
7
, 0055.
[10]
Alla, H. and David, R. (1998). Continuous and Hybrid Petri Nets. Journal of Circuits, Systems, and Computers
8
,
159-188.
[11]
Matsuno, H., Doi, A., Nagasaki, M. and Miyano, S. (2000). Hybrid Petri net representation of gene regulatory network.
Pac. Symp. Biocomput.
5
, 341-352.
[12]
Nagasaki, M., Doi, A., Matsuno, H. and Miyano, S. (2004). A versatile Petri net based architecture for modeling and
simulation of complex biological processes. Genome Inform.
15
, 180-197.
[13]
Nagasaki, M., Saito, A., Doi, A., Matsuno, H. and Miyano, S. (2009). Foundations of Systems Biology: Using Cell
Illustrator and Pathway Databases. Springer, Berlin Heidelberg.
[14]
Tomita, M. (2001). Whole-cell simulation: a grand challenge of the 21st century. Trends Biotechnol.
19
, 205-210.
[15]
Mendes, P., (1993). GEPASI: a software for modeling the dynamics, steady states and control of biochemical and other
systems. Comput. Appl. Biosci.
9
, 563-571.
[16]
[17]
Nagasaki, M., Doi, A., Matsuno, H. and Miyano, S. (2005). Computational modeling of biological processes with Petri
Net-based architecture.
In
: Bioinformatics Technologies, Chen, Y.-P. P. (ed.), Springer, pp. 179-242.
[18]
Troncale, S., Tahi, F., Campard, D., Vannier, J.-P. and Guespin, J. (2006). Modeling and simulation with Hybrid Functional
Petri Nets of the role of interleukin-6 in human early haematopoiesis. Pac. Symp. Biocomput.
11
, 427-438.
[19]
Koh, G., Teong, H. F., Clement, M. V., Hsu, D. and Thiagarajan, P. S. (2006). A decompositional approach to parameter
estimation in pathway modeling; a case study of the Akt and MAPK pathways and their crosstalk. Bioinformatics
22
,
e271-e280.
[20]
Hardy, S. and Robillard, P. N. (2008). Petri net-based method for the analysis of the dynamics of signal propagation in
signaling pathways. Bioinformatics
24
, 209-217.
[21]
Sato, Y., Hashiguchi, Y. and Nishida, M. (2009). Evolution of multiple phosphodiesterase isoforms in stickleback involved
in cAMP signal transduction pathway. BMC Syst. Biol.
3
, 23.
[22]
Wu, J. and Voit, E. (2009). Hybrid modeling in biochemical systems theory by means of functional petri nets. J. Bioinform.
Comput. Biol.
1
, 107-134.
[23]
Wu, J. and Voit, E. (2009). Integrative biological systems modeling: challenges and opportunities. Front. Comput. Sci.
China
3
, 92-100.
[24]
[25]
Li, W. and Kurata, H. (2005). A grid layout algorithm for automatic drawing of biochemical networks. Bioinformatics
21
, 2036-2042.
[26]
[27]
[28]
[29]
[30]
Ogata, H., Goto, S., Sato, K., Fujibuchi, W., Bono, H. and Kanehisa, M. (1999). KEGG: Kyoto Encyclopedia of Genes
and Genomes. Nucleic Acids Res.
27
, 29-34.
[31]
Nagasaki, M., Saito, A., Li, C., Jeong, E. and Miyano, S. (2008). Systematic reconstruction of TRANSPATH data into
Cell System Markup Language. BMC Syst. Biol.
2
, 53.
[32]
Jeong, E., Nagasaki, M. and Miyano, S. (2007). Conversion from BioPAX to CSO for System Dynamics and Visualization
of Biological Pathway. Genome Inform.
18
, 225-236.
[33]
[34]
[35]
Nagasaki, M., Doi, A., Matsuno, H. and Miyano, S. (2003). Recreating biopathway databases towards simulation.
In
:
Computational Methods in Systems Biology, Miyano, S., Wolkenhauer, O., Degano, P., Danos, V., Lincoln, P. and Cho,
K.-H. (eds.). Lecture Notes in Computer Science
2602
, 168-169.
[36]
Le Novere N.,
et al.
(2009). The Systems Biology Graphical Notation. Nat. Biotechnol.
27
, 735-741.
[37]
Killcoyne, S., Carter, G. W., Smith, J. and Boyle, J. (2009). Cytoscape: a community-based framework for network
modeling. Methods Mol. Biol.
563
, 219-239.
[38]
[39]
[40]
Li, C., Nagasaki, M., Ueno, K. and Miyano, S. (2009). Simulation-based model checking approach to cell fate specification