Generalized Communicating P Systems Working in Fair Sequential Mode
نویسندگان
چکیده
In this article we consider a new derivation mode for generalized communicating P systems (GCPS) corresponding to the functioning of population protocols (PP) and based on the sequential derivation mode and a fairness condition that permits to ensure a particular sequence of configurations. We show that PP can be seen as a particular variant of GCPS. We also consider several stochastic evolutions satisfying different fairness conditions and particularly focus on those corresponding to the run of a Gillespie’s SSA. This permits to further describe the dynamics of GCPS by a system of ODEs when the population size goes to the infinity.
منابع مشابه
Generalized Communicating P Systems Working in Fair Sequential Model
In this article we consider a new derivation mode for generalized communicating P systems (GCPS) corresponding to the functioning of population protocols (PP) and based on the sequential derivation mode and a fairness condition. We show that PP can be seen as a particular variant of GCPS. We also consider a particular stochastic evolution satisfying the fairness condition and obtain that it cor...
متن کاملOn the Power of Deterministic and Sequential Communicating P Systems
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in either minimally or maximally parallel mode, are computationally universal. Considering the sequential mode, 2 membranes are shown to characterize the power of partially blind multicounter machines. Next, a character...
متن کاملOn a workflow model based on generalized communicating P systems
This paper introduces a new formal mathematical model for investigating workflows from dynamical and behavioural point of view. The model is designed on the basis of a special variant of the biology-inspired formal computational model called membrane systems, where the jobs or services are represented by membrane objects whose behaviour is defined by communication and generalization rules. The ...
متن کامل(Tissue) P Systems with Vesicles of Multisets
We consider tissue P systems working on vesicles of multisets with the very simple operations of insertion, deletion, and substitution of single objects. With the whole multiset being enclosed in a vesicle, sending it to a target cell can be indicated in those simple rules working on the multiset. As derivation modes we consider the sequential mode, where exactly one rule is applied in a deriva...
متن کاملLook-Ahead Evolution for P Systems
This article introduces a new derivation mode for P systems that permits to make a look-ahead on the next configuration and check for some forbidding conditions on it. The interesting point is that the software implementation of this mode needs very small modifications to the standard algorithm of rule assignment for maximally parallelism. As benefits of this mode some non-deterministic proofs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Ann. Comp. Sci.
دوره 21 شماره
صفحات -
تاریخ انتشار 2011