Top

Natural Computing

Published in:

01-03-2010

Hybrid Functional Petri Nets as MP systems

Authors: Alberto Castellini, Giuditta Franco, Vincenzo Manca

Published in: Natural Computing | Issue 1/2010

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

previous article A memetic algorithm for the generalized traveling salesman problem

next article Evolutionary swarm cooperative optimization in dynamic environments

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now

The Cell Illustrator^™ Project website Url: http://www.genomicobject.net.

Enlarged images Url: http://mplab.sci.univr.it/external/ncj_hfpn_as_mps/images.html.

The MetaPlab website Url: http://mplab.sci.univr.it.

Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) Molecular biology of the cell. Garland Science, New York

Bianco L, Castellini A (2007) Psim: a computational platform for Metabolic P systems. In: LNCS 4860, Springer, Berlin, pp 1–20

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, Manca V (2006b) P systems with reaction maps. Int J Found Comput Sci 17(1):27–48MATHCrossRefMathSciNet

Castellini A, Manca V (2009) MetaPlab: a computational framework for metabolic P systems. In: LNCS 5391, Springer-Verlag, pp 157–168

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

Ciobanu G, Păun G, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural computing series. Springer, New York

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

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 (2008) Predator–prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91(3):545–557CrossRef

Hofestädt R (1994) A Petri Net application to model metabolic processes. J Syst Anal Model Simulation 16(2):113–122MATH

Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53

Manca V (2006) MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In: LNCS 4361, Springer, New York, pp 86–99

Manca V (2008a) Discrete simulations of biochemical dynamics. In: LNCS 4848, Springer, pp 231–235

Manca V (2008b) The metabolic algorithm: principles and applications. Theor Comput Sci 404:142–157MATHCrossRefMathSciNet

Manca V, Bianco L (2008) Biological networks in metabolic P systems. BioSystems 91(3):489–498CrossRef

Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biochemical phenomena. In: LNCS 3365, Springer, pp 63–84

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

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

Petri CA (1962) Kommunikation mit automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2, German

Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143MATHCrossRef

Păun G (2002) Membrane computing: an introduction. Springer, BerlinMATH

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

Reisig W (1985) Petri Nets: an introduction. EATCS, Monographs on Theoretical Computer Science. Springer, New York

Title: Hybrid Functional Petri Nets as MP systems
Authors: Alberto Castellini
Giuditta Franco
Vincenzo Manca
Publication date: 01-03-2010
Publisher: Springer Netherlands
Published in: Natural Computing / Issue 1/2010
Print ISSN: 1567-7818
Electronic ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-009-9121-4

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1/2010

Experimental validation and optimization of signal dependent operation in whiplash PCR

Self-assembly of discrete self-similar fractals

Evolutionary swarm cooperative optimization in dynamic environments

Robust self-assembly of graphs

Polyomino-safe DNA self-assembly via block replacement

Isothermal reactivating Whiplash PCR for locally programmable molecular computation

Premium Partner