Behavioural Equivalences in Real-Time P Systems

摘要

We present a real-time extension of P systems in which each membrane and each object has a lifetime attached to it, and we use these lifetimes to define and study various behavioural equivalences. We also establish sufficient conditions for guaranteeing progression over time.