Top

Natural Computing

Published in:

01-12-2009

A Petri net model for membrane systems with dynamic structure

Authors: Jetty Kleijn, Maciej Koutny

Published in: Natural Computing | Issue 4/2009

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

search-config

AI-assisted search

Off

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.

previous article P-systems and X-machines

next article Efficient simulation of tissue-like P systems by transition cell-like P systems

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

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

Title: A Petri net model for membrane systems with dynamic structure
Authors: Jetty Kleijn
Maciej Koutny
Publication date: 01-12-2009
Publisher: Springer Netherlands
Published in: Natural Computing / Issue 4/2009
Print ISSN: 1567-7818
Electronic ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-008-9101-0

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

Complexity aspects of polarizationless membrane systems

A photosynthetic process modelled by a metabolic P system

Non-conventional computing paradigms

Genetic code optimality studied by means of simulated evolution and within the coevolution theory of the canonical code organization

Complexity of evolution in maximum cooperative P systems

Efficient simulation of tissue-like P systems by transition cell-like P systems

Premium Partner