Skip to main content

2023 | OriginalPaper | Buchkapitel

Intentional Semantics for Molecular Biology

verfasst von : Edward H. Haeusler, Bruno Cuconato, Luiz A. Glatzl, Maria L. Guateque, Diogo M. Vieira, Elvismary M. de Armas, Fernanda Baião, Marcos Catanho, Antonio B. de Miranda, Sergio Lifschitz

Erschienen in: Advances in Bioinformatics and Computational Biology

Verlag: Springer Nature Switzerland

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This article presents an intentional semantics, using Object Petri Nets (OPNs), to assign activity to each biological molecule and complex, such as mRNA, tRNA, ribosomes, and protein synthesis. The work differs from traditional uses of Petri Nets in Biology and Chemistry for being a bottom-up and general semantics and not only a formalization of some molecular biological phenomenon. Assigning activities to every molecule and the difference between biological function and activity is also a conceptual contribution of this work. To illustrate our semantics, we set to tRNA, mRNA, ribosome, and the protein transcription molecular complex the respective activities expressed by OPNs.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The time is not explicitly used in this paper. It appears here due to the completeness of the intended model.
 
2
We must not confuse model of computation with computational model; the latter is a mathematical model of something that can be simulated or performed in a computer.
 
3
The alphabet in question is \(\{s,z,P,\circ ,Rec_{p},\langle , \rangle , \mu ,\ldots \}\) with 20 letters.
 
4
A true concurrency model can be taken as a framework to describe systems that allow many independent processes or threads to run simultaneously without interfering with each other model.
 
5
If \(\pi \) is an OPN, then \(pl(\pi )\) is the number of output and input places in \(\pi \), \([\pi ]\) is the equivalence class of \(\pi \) under isomorphism on OPNs and P is the natural projection.
 
Literatur
1.
Zurück zum Zitat Blätke, M.A., Rohr, C., Heiner, M., Marwan, W.: A petri-net-based framework for biomodel engineering. In: Benner, P., Findeisen, R., Flockerzi, D., Reichl, U., Sundmacher, K. (eds.) Large-Scale Networks in Engineering and Life Sciences. MSSET, pp. 317–366. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08437-4_6CrossRef Blätke, M.A., Rohr, C., Heiner, M., Marwan, W.: A petri-net-based framework for biomodel engineering. In: Benner, P., Findeisen, R., Flockerzi, D., Reichl, U., Sundmacher, K. (eds.) Large-Scale Networks in Engineering and Life Sciences. MSSET, pp. 317–366. Springer, Cham (2014). https://​doi.​org/​10.​1007/​978-3-319-08437-4_​6CrossRef
2.
Zurück zum Zitat Chaudhuri, P.P., Ghosh, S., Dutta, A., Choudhury, S.P.: A New Kind of Computational Biology: Cell Automata Based Models for Genomics and Proteomics (2018) Chaudhuri, P.P., Ghosh, S., Dutta, A., Choudhury, S.P.: A New Kind of Computational Biology: Cell Automata Based Models for Genomics and Proteomics (2018)
4.
5.
Zurück zum Zitat Herajy, M., Liu, F., Rohr, C., Heiner, M.: Coloured hybrid petri nets: an adaptable modelling approach for multi-scale biological networks. Comput. Biol. Chem. 76, 87–100 (2018)CrossRefPubMed Herajy, M., Liu, F., Rohr, C., Heiner, M.: Coloured hybrid petri nets: an adaptable modelling approach for multi-scale biological networks. Comput. Biol. Chem. 76, 87–100 (2018)CrossRefPubMed
6.
Zurück zum Zitat Kleene, S.C.: \(\lambda \)-definability and recursiveness. Duke Math. J. 2(2), 340–353 (1936)CrossRef Kleene, S.C.: \(\lambda \)-definability and recursiveness. Duke Math. J. 2(2), 340–353 (1936)CrossRef
9.
Zurück zum Zitat Lakos, C.A.: The object orientation of object Petri nets. Department of Computer Science, University of Tasmania (1995) Lakos, C.A.: The object orientation of object Petri nets. Department of Computer Science, University of Tasmania (1995)
10.
Zurück zum Zitat Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis, Math. Uni. Bonn (1962) Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis, Math. Uni. Bonn (1962)
11.
Zurück zum Zitat Piques, M., et al.: Ribosome and transcript copy numbers, polysome occupancy and enzyme dynamics in Arabidopsis. Mol. Syst. Biol. 5(1), 314 (2009)CrossRefPubMedPubMedCentral Piques, M., et al.: Ribosome and transcript copy numbers, polysome occupancy and enzyme dynamics in Arabidopsis. Mol. Syst. Biol. 5(1), 314 (2009)CrossRefPubMedPubMedCentral
12.
Zurück zum Zitat Singh, N., Singh, A., Singh, S., Kumar, V.: Modeling and analysis of biological systems using petri nets: a review. J. Theor. Biol. 335, 94–105 (2013) Singh, N., Singh, A., Singh, S., Kumar, V.: Modeling and analysis of biological systems using petri nets: a review. J. Theor. Biol. 335, 94–105 (2013)
13.
Zurück zum Zitat Tan, C.L., Anderson, E.: The new central dogma of molecular biology. Resonance 14(3), 1–32 (2020) Tan, C.L., Anderson, E.: The new central dogma of molecular biology. Resonance 14(3), 1–32 (2020)
14.
Zurück zum Zitat Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. s2–42(1), 230–265 (1937) Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. s2–42(1), 230–265 (1937)
Metadaten
Titel
Intentional Semantics for Molecular Biology
verfasst von
Edward H. Haeusler
Bruno Cuconato
Luiz A. Glatzl
Maria L. Guateque
Diogo M. Vieira
Elvismary M. de Armas
Fernanda Baião
Marcos Catanho
Antonio B. de Miranda
Sergio Lifschitz
Copyright-Jahr
2023
DOI
https://doi.org/10.1007/978-3-031-42715-2_9

Premium Partner