Timed P Automata

Authors:
Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Luca Tesei
Affiliations:
Dipartimento di Informatica - University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa - Italy;Dipartimento di Informatica - University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa - Italy;Dipartimento di Informatica - University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa - Italy;Dipartimento di Matematica e Informatica - University of Camerino, Via Madonna delle Carceri 9, 62032 Camerino (MC) - Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 1

A theory of timed automata

Theoretical Computer Science
Symbolic model checking for real-time systems

Information and Computation
Computing with membranes

Journal of Computer and System Sciences
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Computation: finite and infinite machines

Computation: finite and infinite machines
Time–independent p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing
On Synchronization in P Systems

Fundamenta Informaticae

Timed P Automata

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.