标题： 互惠移动膜与定时器 显示英文标题

标题： Mutual Mobile Membranes with Timers

摘要： 当前膜系统的特征是对象和膜是持久的。 然而，在现实世界中并非如此。 事实上，细胞和细胞内蛋白质都有明确的生命周期。 受这些生物学事实的启发，我们定义了一个移动膜系统模型，其中每个膜和每个对象都有一个计时器，表示它们的生命周期。 我们证明了带有和不带计时器的互惠移动膜系统具有相同的计算能力。 将定时安全移动环境编码为带有计时器的互惠移动膜系统，提供了两种用于描述生物系统的形式化方法之间的关系。 显示英文摘要

摘要： 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.