文章基本信息

标题：Mutual Mobile Membranes with Timers
本地全文：下载
作者：Bogdan Aman ; Gabriel Ciobanu
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2009
卷号：6
页码：1-15
DOI：10.4204/EPTCS.6.1
出版社：Open Publishing Association
摘要：A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins have a well-defined lifetime. Inspired from these biological facts, we define a model of systems of mobile membranes in which each membrane and each object has a timer representing their lifetime. We show that systems of mutual mobile membranes with and without timers have the same computational power. An encoding of timed safe mobile ambients into systems of mutual mobile membranes with timers offers a relationship between two formalisms used in describing biological systems.