Theoretical Computer Science
Symbolic model checking for real-time systems
Information and Computation
Journal of Computer and System Sciences
Handbook of Formal Languages
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Computation: finite and infinite machines
Computation: finite and infinite machines
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Hi-index | 0.00 |
To study systems whose dynamics changes with time, an extension of timed P systems is introduced in which evolution rules may vary with time. The proposed model is a timed automaton with a discrete time domain and in which each state is a timed P system. A result on expressive power and on features of the formalism sufficient for full expressiveness is proved and, as an application example, the model of an ecological system is given.