Quantitative pathway logic for computational biology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5688 LNBI, Issue , 2009, Pages 68-82

  Baggi, Michele ^a   Ballis, Demis ^b   Falaschi, Moreno ^a  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL PROCESS; COMPUTATIONAL BIOLOGY; COMPUTATIONAL MODEL; DISCRETE TRANSITIONS; ELEMENT CONCENTRATIONS; NET MODEL; REACHABILITY; REWRITING LOGIC; TOPOLOGICAL ANALYSIS;

BIOINFORMATICS; BIOLOGY; CELL MEMBRANES; COMPUTATIONAL METHODS; GRAPH THEORY;

PETRI NETS;

EID: 70349316842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03845-7_5     Document Type: Conference Paper

References (22)

1. Abate, A., Bai, Y., Sznajder, N., Talcott, C., Tiwari, A.: Quantitative and Probabilistic Modeling in Pathway Logic. In: 7th IEEE International Conference on Bioinformatics and BioEngineering, pp. 922-929. IEEE Xplore, Los Alamitos (2007)
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation 160(1-2), 109-127 (2000)
3. Baggi, M., Ballis, D., Falaschi, M.: Applications to Systems Biology of Quantitative Pathway Logic. Technical report (2009), http://users.dimi.uniud.it/ ̃michele.baggi/qpl/BBF09tr.pdf
4. Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. Journal of Discrete Algorithms 6(2), 165-177 (2008)
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76-87. Springer, Heidelberg (2003)
6. Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 230-234. Springer, Heidelberg (2003)
7. Eyre, T.A., et al.: The HUGO Gene Nomenclature Database, 2006 updates. Nucleic Acids Research 34(Database issue), 319-321 (2006)
8. Gauges, R., Rost, U., Sahle, S., Wegner, K.: A model diagram layout extension for SBML. Bioinformatics 22(15), 1879-1885 (2006)
9. Genrich, H.J., K̈uffne, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. International Journal on Software Tools for Technology Transfer 3(4), 394-404 (2001)
10. Gilbert, D., Heiner, M., Lehrack, S.: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 200-216. Springer, Heidelberg (2007)
11. Lloyd, C.M., Lawson, J.R., Hunter, P.J., Nielsen, P.F.: The CellML Model Repository. Bioinformatics 24(18), 1367-2123 (2008)
12. Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: A versatile petri net based architecture for modeling and simulation of complex biological processes. Genome Informatics 15(1), 180-197 (2004)
13. Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: A platform for modelling and simulating biopathways. Applied Bioinformatics 2, 181-184 (2004)
14. Martí-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2), 121-154 (2002)
15. Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967)
16. Murata, T.: Petri Nets: Properties, analysis and applications. Proc. IEEE 77(4), 541-580 (1989)
17. Nagasaki, M., Saito, A., Li, C., Jeong, E., Miyano, S.: Systematic reconstruction of TRANSPATH data into Cell System Markup Language. BMC Systems Biology 2(1) (2008)
18. Ölveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science 285(2), 359-405 (2002)
19. Reinhardt, K.: Reachability in Petri Nets with Inhibitor Arcs. Electronic Notes in Theoretical Computer Science 223, 239-264 (2008)
20. Talcott, C.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 21-53. Springer, Heidelberg (2008)
21. Talcott, C., Dill, D.L.: Multiple representations of biological processes. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 221-245. Springer, Heidelberg (2006)
22. The-uniprot-consortium. The Universal Protein Resource (UniProt). Nucleic Acids Research 35(Database issue) (2007)