nach oben

Natural Computing

Erschienen in:

01.12.2009

A Petri net model for membrane systems with dynamic structure

verfasst von: Jetty Kleijn, Maciej Koutny

Erschienen in: Natural Computing | Ausgabe 4/2009

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

We consider membrane systems with dissolving and thickening reaction rules. Application of these rules entails a dynamical change in the structure of a system during its evolution. First we provide a precise operational model for these dynamic membrane systems in which also promoter and inhibitor rules may occur. Next we describe a translation into behaviourally equivalent Petri nets with localities and range arcs.

Vorheriger Artikel P-systems and X-machines

Nächster Artikel Efficient simulation of tissue-like P systems by transition cell-like P systems

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

Agrigoroaiei O, Ciobanu G (2008) Rewriting logic specification of membrane systems with promoters and inhibitors. In: 7th WRLA, pp 1–16 (to appear in ENTCS)

Bernardini F, Manca V (2003) Dynamical aspects of P systems. Biosystems 70:85–93CrossRef

Bernardini F, Gheorghe M, Margenstern M, Verlan S (2007) Producer/consumer in membrane systems and Petri nets. Lect Notes Comput Sci 4497:43–52CrossRef

Best E, Devillers R (1988) Sequential and concurrent behaviour in Petri net theory. Theor Comput Sci 55:87–136MathSciNet

Best E, Fernández C (1988) Nonsequential processes. A Petri net view. Springer-Verlag, BerlinMATH

Bogdana A, Ciobanu G (2007) Translating mobile ambients into P systems. Electron Notes Theor Comput Sci 171:11–23CrossRef

Calude CS, Păun Gh, Rozenberg G, Salomaa A (eds) (2001) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lecture notes in computer science, vol 2235. Springer-Verlag, Berlin

Cardelli L, Gordon A (1998) Mobile ambients. Lect Notes Comput Sci 1378:140–155CrossRef

Cavaliere M, Sburlan D (2005) Time-independent P systems. Lect Notes Comput Sci 3365:239–258

Ciardo G (1994) Petri Nets with marking-dependent arc cardinality: properties and analysis. Lect Notes Comput Sci 815:179–198MathSciNet

Dal Zilio S, Formenti E (2004) On the dynamics of PB systems: a Petri net view. Lect Notes Comput Sci 2933:153–167

Desel J, Reisig W, Rozenberg G (eds) (2004) Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer-Verlag, Berlin

Freund R (2001) Sequential P systems. Rom J Inform Sci Technol 4:77–88

Freund R (2005) Asynchronous P systems and P systems working in the sequential mode. Lect Notes Comput Sci 3365:36–62CrossRef

Goltz U, Reisig W (1983) The non-sequential behaviour of Petri nets. Inform Comput 57:125–147MATHMathSciNet

Janicki R, Lauer PE, Koutny M, Devillers R (1986) Concurrent and maximally concurrent evolution of nonsequential systems. Theor Comput Sci 43:213–238MATHCrossRefMathSciNet

Kleijn J, Koutny M (2006) Synchrony and asynchrony in membrane systems. Lect Notes Comput Sci 4361:66–85CrossRef

Kleijn J, Koutny M (2007) Processes of Petri nets with range testing. Fundam Inform 80:199–219MATHMathSciNet

Kleijn J, Koutny M (2008a) Processes of membrane systems with promoters and inhibitors. Theor Comput Sci 404:112–126MATHMathSciNet

Kleijn J, Koutny M (2008b) Petri nets and membrane computing. Technical report CS-TR-1117, also to appear in a handbook on membrane computing

Kleijn J, Koutny M, Rozenberg G (2006a) Towards a Petri net semantics for membrane systems. Lect Notes Comput Sci 3850:292–309CrossRef

Kleijn J, Koutny M, Rozenberg G (2006b) Process semantics for membrane systems. J Autom Lang Comb 11:321–340MATHMathSciNet

Martín-Vide C, Păun Gh, Pazos J, Rodríguez-Patón A (2003) Tissue P systems. Theor Comput Sci 296:295–326MATH

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

Păun Gh (2002) Membrane computing. An Introduction. Springer-Verlag, BerlinMATH

Păun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287:73–100MATHCrossRef

Păun Gh, Yu S (1999) On synchronization in P systems. Fundam Inform 38:397–410MATH

Qi Z, You J, Mao H (2004) P systems and Petri nets. Lect Notes Comput Sci 2933:286–303

Reisig W, Rozenberg G (eds) (1998) Lectures on Petri nets. Lecture notes in computer science, vols 1491 & 1492. Springer-Verlag, Berlin

Rozenberg G, Engelfriet E (1998) Elementary net systems. Lect Notes Comput Sci 1491:12–121

Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of place/transition net systems. Lect Notes Comput Sci 1491:309–373

Titel: A Petri net model for membrane systems with dynamic structure
verfasst von: Jetty Kleijn
Maciej Koutny
Publikationsdatum: 01.12.2009
Verlag: Springer Netherlands
Erschienen in: Natural Computing / Ausgabe 4/2009
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-008-9101-0

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/2009

Non-conventional computing paradigms

P-systems and X-machines

Uniform solutions to SAT and Subset Sum by spiking neural P systems

Neural networks and quantum neurology: a speculative heuristic towards the formal architecture of psychism

Adaptation, anticipation and rationality in natural and artificial systems: computational paradigms mimicking nature

Transforming communicating X-machines into P systems

Premium Partner