Results 1 
7 of
7
Compositional Semantics and Behavioral Equivalences for P Systems
, 2008
"... The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Firstly, we consider P Systems with maximal parallelism and without priorities. We define a process algebra, called P Algebr ..."
Abstract

Cited by 7 (7 self)
 Add to MetaCart
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Firstly, we consider P Systems with maximal parallelism and without priorities. We define a process algebra, called P Algebra, whose terms model membranes, we equip the algebra with a Labeled Transition System (LTS) obtained through SOS transition rules, and we study how some equivalence notions defined over the LTS model apply in our case. Then, we consider P Systems with priorities and extend the introduced framework to deal with them. We prove that our compositional semantics reflects correctly maximal parallelism and priorities.
Quorum sensing P systems
, 2006
"... This paper continues the investigation of population P systems model [F. Bernardini, M. Gheorghe, Population P systems, Journal of Universal Computer Science 10 (5) (2004) 509–539] by considering bacterium quorum sensing (QS) phenomena as the basis of the new approach. A new computational model call ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
This paper continues the investigation of population P systems model [F. Bernardini, M. Gheorghe, Population P systems, Journal of Universal Computer Science 10 (5) (2004) 509–539] by considering bacterium quorum sensing (QS) phenomena as the basis of the new approach. A new computational model called QS P system is introduced. It is proved that QS P systems are able to simulate counter machines, and hence they are equivalent in power to Turing machines. An example of a QS P system modelling the behaviour of Vibrio fischeri bacteria colonies is also presented and the emergence of the QS mechanism is illustrated.
Causality in Membrane Systems
"... Summary. P systems are a biologically inspired model introduced by Gheorghe Păun with the aim of representing the structure and the functioning of the cell. P systems are usually equipped with the maximal parallelism semantics; however, since their introduction, some alternative semantics have been ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Summary. P systems are a biologically inspired model introduced by Gheorghe Păun with the aim of representing the structure and the functioning of the cell. P systems are usually equipped with the maximal parallelism semantics; however, since their introduction, some alternative semantics have been proposed and investigated. We propose a semantics that describes the causal dependencies occurring between the reactions of a P system. We investigate the basic properties that are satisfied by such a semantics. The notion of causality turns out to be quite relevant for biological systems, as it permits to point out which events occurring in a biological pathway are necessary for another event to happen. 1
On P systems with bounded parallelism
 Proceedings of the 1st International Workshop on Theory and Application of P Systems (TAPS ’05
, 2005
"... A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural operational semantics. This approach investigates a generic strategy of selecting membranes and rules and applying the rules. P ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural operational semantics. This approach investigates a generic strategy of selecting membranes and rules and applying the rules. P systems with boundary rules are used to illustrate the case and an example dealing with an evolution strategy involving bounded parallelism is discussed. 1
A Formal Framework for P Systems
"... Summary. The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal gener ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Summary. The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way. 1
Expressing Control Mechanisms in P systems by Rewriting Strategies
 of LNCS
, 2006
"... Abstract. In this paper we provide a semantics for membrane systems given by rewriting strategies. We describe some control mechanisms in membrane computing defined over sets of rules rather than individual rules. Then we present the rewriting strategy formalism together with its operational semanti ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract. In this paper we provide a semantics for membrane systems given by rewriting strategies. We describe some control mechanisms in membrane computing defined over sets of rules rather than individual rules. Then we present the rewriting strategy formalism together with its operational semantics. We use strategies to define the semantics of the maximal parallel rewriting and priorities. Rewriting strategies are not enough to express the membrane computation involving promoters or inhibitors. 1 Control Mechanisms in Membrane Systems In membrane systems (called also P systems) [8], the objects to evolve and the rules governing this evolution are chosen in a nondeterministic way. Moreover, this choice is exhaustive in the sense that no rule can be further applied in the same evolution step: this is the maximal parallel rewriting. A global clock is assumed, that is the same clock for all the regions of a membrane system. At each tick of this clock, a current configuration of the system is transformed
AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
, 2010
"... The aim of this paper is to give motivations for the development of operational semantics in membrane computing, and to survey existing proposals. In particular, the definitions are compared of three operational semantics available in the literature, namely a semantics proposed by Andrei, Ciobanu an ..."
Abstract
 Add to MetaCart
The aim of this paper is to give motivations for the development of operational semantics in membrane computing, and to survey existing proposals. In particular, the definitions are compared of three operational semantics available in the literature, namely a semantics proposed by Andrei, Ciobanu and Lucanu, another proposed by Busi, and another one proposed by the authors of the present paper. These definitions are different since they are given with different aims. However, we show that there is an operational correspondence among the three.