Now showing items 1-10 of 14
Mutual Mobile Membranes Systems with Surface Objects
(Fénix Editora, 2009)
In this paper we introduce mutual mobile membranes with surface objects, systems which have biological motivation. In P systems with mobile membranes with surface objects, a membrane may enter or exit another membrane. ...
Verifying P Systems with Costs by Using Priced-Timed Maude
We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an abstract syntax of the new class of membrane systems, and then deal with costs by extending the operational ...
Membrane Systems and Time Petri Nets
(Fenix Editora, 2017)
We investigate the relationship of time Petri nets and di erent variants of membrane systems. First we show that the added feature of \time" in time Petri nets makes it possible to simulate the maximal parallel rule ...
Scenario Based P Systems
(Fénix Editora, 2013)
In this paper we de ne and study Scenario Based P Systems, a model of computation inspired by the metabolic pathways and networks. Starting from the classical de nition of P systems with symbol objects and multiset ...
Pumps Systems of Membranes
(Fénix Editora, 2004)
The reactivity of the living cells provides the real complexity of biological systems. This paper presents a reactive P system where the rules are triggered by certain conditions, and pumps are the parallel processors ...
WebPS: A Web-based P System Simulator with Query Facilities
(Fénix Editora, 2005)
In this paper we present an open-source web-enabled simulator for P sys- tems. We use CLIPS embedded in C, and make the simulator available as a web application, complemented by a query language to specify the results.
Computational Complexity of Simple P Systems
(Fénix Editora, 2008)
We introduce a new class of membrane systems called simple P systems, and study its computational complexity using the classical theory. We start by presenting the knapsack problem and analyzing its space and time ...
Encodings and Arithmetic Operations in P Systems
(Fénix Editora, 2006)
Following, we present in this paper various number encodings and operations over multisets. We obtain the most compact encoding and several other interesting encodings and study their properties using elements of combinatorics ...
Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus
(Fénix Editora, 2015)
We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes ...