Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423181 | Electronic Notes in Theoretical Computer Science | 2009 | 16 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics