nach oben

Natural Computing

Erschienen in:

01.12.2013

Modeling membrane systems using colored stochastic Petri nets

verfasst von: Fei Liu, Monika Heiner

Erschienen in: Natural Computing | Ausgabe 4/2013

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Membrane systems are a very powerful computational modeling language inspired by the internal organization of living cells. In this paper we explore the use of colored stochastic Petri nets to model an attractive variant of membrane systems—stochastic membrane systems with active membranes. In our approach, each object is modeled as a place and each membrane as a color. As a result, we can easily represent large-scale membrane systems as compact colored Petri nets. Moreover, using dynamic color sets, we can conveniently model membrane systems with active membranes. We take the virus infection process as an example to illustrate our approach. Our paper demonstrates that colored Petri nets with dynamic color sets are a compelling tool for representing and analyzing dynamic membrane systems, and thus do contribute to the description and analysis of their dynamic behavior.

Vorheriger Artikel Kernel clustering using a hybrid memetic algorithm

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

It is not essential, as the color can be not used any more instead of removal. However, non-removal of unused colors might in the end unnecessarily blow up the color sets.

Agrigoroaiei O, Ciobanu G (2010) Flattening the transition P systems with dissolution. LNCS, vol 6501. Springer, pp 53–64

Bernardini F, Gheorghe M, Margenstern M, Verlan S (2007a) Networks of cells and Petri nets. In: Proceedings of 5th brainstorming week on membrane computing, pp 33–62

Bernardini F, Gheorghe M, Romero-Campero FJ, Walkinshaw N (2007b) A hybrid approach to modelling biological systems. LNCS, vol 4860. Springer, pp 138–159

Charlie (2012) Charlie—a tool for the analysis of place/transition Petri nets. http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie

Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proceedings of the 6th international conference on computational methods in systems biology. LNCS/LNBI, vol 5307. Springer, pp 269–287

Gheorghe M, Manca V, Romero-Campero FJ (2010) Deterministic and stochastic P systems for modelling cellular processes. Nat Comput 9(2):457–473MathSciNetCrossRefMATH

Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340–2361CrossRef

Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Proceedings of the 8th international conference on formal methods for computational systems biology. LNCS, vol 5016. Springer, pp 215–264

Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012). Snoopy—a unifying Petri net tool. In: Proceedings of PETRI NETS 2012, LNCS, vol 7347. Springer, pp 398–407

Heiner M, Lehrack S, Gilbert D, Marwan W (2009) Extended stochastic Petri nets for model-based design of wetlab experiments. Trans Comput Syst Biol XI LNBI 5750:138–163CrossRef

Jensen K (1981) Coloured Petri nets and the invariant-method. Theoret Comput Sci 14(3):317–336MathSciNetCrossRefMATH

Jensen K, Kristensen LM, Wells LM (2007) Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3/4):213–254CrossRef

Kleijn J, Koutny M (2009) A Petri net model for membrane systems with dynamic structure. Nat Comput 8(4):781–796MathSciNetCrossRefMATH

Kleijn J, Koutny M, Rozenberg G (2006) Towards a Petri net semantics for membrane systems. In: Proceedings of the 6th international workshop on membrane computing, LNCS, vol 3850. Springer, pp 292–309

Liu F (2012) Colored Petri nets for systems biology. PhD thesis, Department of Computer Science, Brandenburg University of Technology Cottbus

Liu F, Heiner M (2010) Colored Petri nets to model and simulate biological systems. In: Proceedings of international workshop on biological processes and petri nets, satellite event of Petri Nets 2010

Liu F, Heiner M, Rohr C (2012) Manual for colored Petri nets in Snoopy. Technical report, 02-12, Department of Computer Science, Brandenburg University of Technology Cottbus. http://www-dssz.informatik.tu-cottbus.de/publications/btu-reports/Manual_for_colored_Petri_nets_2012_03.pdf

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

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

Păun G, Rozenberg G, Salomaa A (2010) The Oxford handbook of membrane computing. Oxford University Press, OxfordCrossRefMATH

Qi Z, You J, Mao H (2004) P systems and Petri nets. In: Proceedings of the 5th international workshop of membrane computing, LNCS, vol 2933. Springer, pp 286–303

Rohr C, Marwan W, Heiner M (2010) Snoopy—a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974–975CrossRef

Spicher A, Michel O, Cieslak M, Giavitto J, Prusinkiewicz P (2008) Stochastic P systems and the simulation of biochemical processes with dynamic compartments. BioSystems 91(3):458–472CrossRef

Titel: Modeling membrane systems using colored stochastic Petri nets
verfasst von: Fei Liu
Monika Heiner
Publikationsdatum: 01.12.2013
Verlag: Springer Netherlands
Erschienen in: Natural Computing / Ausgabe 4/2013
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-013-9367-8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2013

An experimental study of noise and asynchrony in elementary cellular automata with sampling compensation

Geiringer theorems: from population genetics to computational intelligence, memory evolutive systems and Hebbian learning

Foreword: asynchronous cellular automata and applications

On computational complexity of graph inference from counting

First steps on asynchronous lattice-gas models with an application to a swarming rule

Kernel clustering using a hybrid memetic algorithm

Premium Partner