Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On the Qualitative Analysis of Conformon P-Systems Parosh Aziz Abdulla1

Summary: On the Qualitative Analysis of Conformon P-Systems
Parosh Aziz Abdulla1
and Giorgio Delzanno2
and Laurent Van Begin3
University of Uppsala. E-mail: parosh@it.uu.se
Universit`a di Genova, Italy. E-mail: giorgio@disi.unige.it
Universit´e Libre de Bruxelles, Belgium. E-mail: lvbegin@ulb.ac.be
Abstract. We study computational properties of conformon P-systems, an exten-
sion of P-systems in which symbol objects are labelled by their current amount
of energy. We focus here our attention to decision problems like reachability and
coverability of a configuration and give positive and negative results for the full
model and for some of its fragments. Furthermore, we investigate the relation be-
tween conformon P-systems and other concurrency models like nested Petri nets
and constrained multiset rewriting systems.
1 Introduction
P-systems [10] are a basic model of the living cell defined by a set of hierarchically
organized membranes and by rules that dynamically distribute elementary objects in


Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet


Collections: Computer Technologies and Information Sciences