Quantitative Pathway Logic for Computational Biology
This paper presents an extension of Pathway Logic, called Quantitative Pathway Logic (QPL), which allows one to reason about quantitative aspects of biological processes, such as element concentrations and reactions kinetics. Besides, it supports the modeling of inhibitors, that is, chemicals which may block a given reaction whenever their concentration exceeds a certain threshold. QPL models can be specified and directly simulated using rewriting logic or can be translated into Discrete Functional Petri Nets (DFPN) which are a subclass of Hybrid Functional Petri Nets in which only discrete transitions are allowed. Under some constraints over the anonymous variables appearing in the QPL models, the transformation between the two computational models is shown to preserve computations. By using the DFPN representation our models can be graphically visualized and simulated by means of well known tools (e.g. Cell Illustrator); moreover standard Petri net analyses (e.g. topological analysis, forward/backward reachability, etc.) may be performed on the net model. An executable framework for QPL and for the translation of QPL models into DFPNs has been implemented using the rewriting-based language Maude. We have tested this system on several examples.
KeywordsCell State Linear Temporal Logic Discrete Transition Forward Simulation Input Connector
Unable to display preview. Download preview PDF.
- 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)Google Scholar
- 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
- 9.Genrich, H.J., Küffne, 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)Google Scholar
- 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)Google Scholar
- 15.Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967)Google Scholar
- 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)Google Scholar
- 22.The_uniprot_consortium. The Universal Protein Resource (UniProt). Nucleic Acids Research 35(Database issue) (2007)Google Scholar