Skip to main content
Erschienen in: Natural Computing 1/2010

01.03.2010

Hybrid Functional Petri Nets as MP systems

verfasst von: Alberto Castellini, Giuditta Franco, Vincenzo Manca

Erschienen in: Natural Computing | Ausgabe 1/2010

Einloggen

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

search-config
loading …

Abstract

In this work we give a formalization of Hybrid Functional Petri Nets, shortly HFPN, an extension of Petri Nets for biopathways modelling, and we compare them with Metabolic P Systems. An introduction to both the formalisms is given, together with highlights about respective similarities and differences. Their equivalence is thus proved by means of a theorem which holds under quite general hypotheses. The case study of the lac operon gene regulatory mechanism in the glycolytic pathway of Escherichia coli is modeled by an MP system which provides the same dynamics of an equivalent HFPN model.

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!

Literatur
Zurück zum Zitat Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) Molecular biology of the cell. Garland Science, New York Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) Molecular biology of the cell. Garland Science, New York
Zurück zum Zitat Bianco L, Castellini A (2007) Psim: a computational platform for Metabolic P systems. In: LNCS 4860, Springer, Berlin, pp 1–20 Bianco L, Castellini A (2007) Psim: a computational platform for Metabolic P systems. In: LNCS 4860, Springer, Berlin, pp 1–20
Zurück zum Zitat Bianco L, Fontana F, Franco G, Manca V (2006a) P systems for biological dynamics. In: Ciobanu et al (eds) Applications of membrane computing. Natural computing series. Springer, Berlin, pp 81–126 Bianco L, Fontana F, Franco G, Manca V (2006a) P systems for biological dynamics. In: Ciobanu et al (eds) Applications of membrane computing. Natural computing series. Springer, Berlin, pp 81–126
Zurück zum Zitat Castellini A, Manca V (2009) MetaPlab: a computational framework for metabolic P systems. In: LNCS 5391, Springer-Verlag, pp 157–168 Castellini A, Manca V (2009) MetaPlab: a computational framework for metabolic P systems. In: LNCS 5391, Springer-Verlag, pp 157–168
Zurück zum Zitat Castellini A, Franco G, Manca V (2009) Toward a representation of Hybrid Functional Petri Nets by MP systems. In: Suzuki Y et al (eds) Natural Computing PICT 1, pp 28–37 Castellini A, Franco G, Manca V (2009) Toward a representation of Hybrid Functional Petri Nets by MP systems. In: Suzuki Y et al (eds) Natural Computing PICT 1, pp 28–37
Zurück zum Zitat Ciobanu G, Păun G, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural computing series. Springer, New York Ciobanu G, Păun G, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural computing series. Springer, New York
Zurück zum Zitat Doi A, Fujita S, Matsuno H, Nagasaki M, Miyano S (2004) Constructing biological pathway models with Hybrid Functional Petri Nets. In Silico Biol 4(3):271–291 Doi A, Fujita S, Matsuno H, Nagasaki M, Miyano S (2004) Constructing biological pathway models with Hybrid Functional Petri Nets. In Silico Biol 4(3):271–291
Zurück zum Zitat Fontana F, Manca V (2007) Discrete solutions to differential equations by Metabolic P systems. Theor Comput Sci 372(2–3):165–182MATHCrossRefMathSciNet Fontana F, Manca V (2007) Discrete solutions to differential equations by Metabolic P systems. Theor Comput Sci 372(2–3):165–182MATHCrossRefMathSciNet
Zurück zum Zitat Fontana F, Manca V (2008) Predator–prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91(3):545–557CrossRef Fontana F, Manca V (2008) Predator–prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91(3):545–557CrossRef
Zurück zum Zitat Hofestädt R (1994) A Petri Net application to model metabolic processes. J Syst Anal Model Simulation 16(2):113–122MATH Hofestädt R (1994) A Petri Net application to model metabolic processes. J Syst Anal Model Simulation 16(2):113–122MATH
Zurück zum Zitat Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53 Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53
Zurück zum Zitat Manca V (2006) MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In: LNCS 4361, Springer, New York, pp 86–99 Manca V (2006) MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In: LNCS 4361, Springer, New York, pp 86–99
Zurück zum Zitat Manca V (2008a) Discrete simulations of biochemical dynamics. In: LNCS 4848, Springer, pp 231–235 Manca V (2008a) Discrete simulations of biochemical dynamics. In: LNCS 4848, Springer, pp 231–235
Zurück zum Zitat Manca V, Bianco L (2008) Biological networks in metabolic P systems. BioSystems 91(3):489–498CrossRef Manca V, Bianco L (2008) Biological networks in metabolic P systems. BioSystems 91(3):489–498CrossRef
Zurück zum Zitat Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biochemical phenomena. In: LNCS 3365, Springer, pp 63–84 Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biochemical phenomena. In: LNCS 3365, Springer, pp 63–84
Zurück zum Zitat Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003) Biopathways representation and simulation on Hybrid Functional Petri Nets. In Silico Biol 3(3):389–404 Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003) Biopathways representation and simulation on Hybrid Functional Petri Nets. In Silico Biol 3(3):389–404
Zurück zum Zitat Nagasaki M, Doi A, Matsuno H, Miyano S (2004) Genomic object net: I. A platform for modelling and simulating biopathways. Appl Bioinformatics 2(3):181–184 Nagasaki M, Doi A, Matsuno H, Miyano S (2004) Genomic object net: I. A platform for modelling and simulating biopathways. Appl Bioinformatics 2(3):181–184
Zurück zum Zitat Petri CA (1962) Kommunikation mit automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2, German Petri CA (1962) Kommunikation mit automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2, German
Zurück zum Zitat Păun G (2002) Membrane computing: an introduction. Springer, BerlinMATH Păun G (2002) Membrane computing: an introduction. Springer, BerlinMATH
Zurück zum Zitat Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri Net representations in metabolic pathways. In: Shavlik JW, Hunter L, Searls DB (eds) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, AAAI Press, pp 328–336 Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri Net representations in metabolic pathways. In: Shavlik JW, Hunter L, Searls DB (eds) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, AAAI Press, pp 328–336
Zurück zum Zitat Reisig W (1985) Petri Nets: an introduction. EATCS, Monographs on Theoretical Computer Science. Springer, New York Reisig W (1985) Petri Nets: an introduction. EATCS, Monographs on Theoretical Computer Science. Springer, New York
Metadaten
Titel
Hybrid Functional Petri Nets as MP systems
verfasst von
Alberto Castellini
Giuditta Franco
Vincenzo Manca
Publikationsdatum
01.03.2010
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 1/2010
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-009-9121-4

Weitere Artikel der Ausgabe 1/2010

Natural Computing 1/2010 Zur Ausgabe

Premium Partner