Timed P Automata

Article type: Research Article

Authors: Barbuti, Roberto | Maggiolo-Schettini, Andrea | Milazzo, Paolo | Tesei, Luca

Affiliations: Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti,maggiolo,milazzo}@di.unipi.it | Dipartimento di Matematica e Informatica, Università di Camerino, Via Madonna delle Carceri 9, 62032 Camerino (MC), Italy. [email protected]

Note: [] Address for correspondence: Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy

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.

DOI: 10.3233/FI-2009-114

Journal: Fundamenta Informaticae, vol. 94, no. 1, pp. 1-19, 2009