• Citer

A biologically inspired model with fusion and clonation of membranes

par Delzanno, Giorgio ;Van Begin, Laurent
Référence Lecture notes in computer science, 5204 LNCS, page (64-82)
Publication Publié, 2008

Article révisé par les pairs

• Détails
• Contenu

Résumé :

P-systems represent an important class of biologically inspired computational models. In this paper, we study computational properties of a variation of P-systems with rules that model in an abstract way fusion and clonation of membranes. We focus our attention on extended P-systems with an interleaving semantics and symbol objects and we investigate decision problems like reachability of a configuration, boundedness (finiteness of the state space), and coverability (verification of safety properties). In particular we use the theory of well-structured transition systems to prove that both the coverability and the boundedness problems are decidable for PB systems with fusion and clonation. Our results represent a preliminary step towards the development of automated verification procedures for concurrent systems with biologically inspired operations like fusion and clonation. © Springer-Verlag Berlin Heidelberg 2008.