Buscar
Mostrando ítems 1-6 de 6
Ponencia
Life-Death Ratio Approach by a Multiset-Based Type System
(Fénix Editora, 2014)
We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. ...
Ponencia
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 ...
Ponencia
Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
(Fénix Editora, 2014)
In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial ...
Ponencia
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 ...
Ponencia
Verifying P Systems with Costs by Using Priced-Timed Maude
(Fénix, 2016)
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 ...
Ponencia
Flattening P Systems with Active Membranes
(Fénix Editora, 2013)