Timed P Automata

• Autorzy: Barbuti R. , Maggiolo-Schettini A. , Milazzo P. , Tesei L.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

P systems; timed P systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 94, nr 1
• Strony: 1--19
• Opis fizyczny: Bibliogr. 15 poz., wykr.

Twórcy

autor

Barbuti R.

autor

Maggiolo-Schettini A.

autor

Milazzo P.

autor

Tesei L.

• Dipartimento di Informatica, Universita di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy,

Bibliografia

• Cytowania=15
• [1] Alur, R., Dill, D. L.: A Theory of Timed Automata, Theoretical Computer Science, 126, 1994, 183-235.
• [2] Armstrong, D., Davidson, R.: Developing PopulationModels for Guiding Reintroductions of Extirpated Bird Species Back to New Zealand Mainland, New Zealand Journal of Ecology, 30, 2006, 73-85.
• [3] Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tesei, L.: Timed P Automata, Membrane Computing and Biologically Inspired Calculi (MeCBIC'08), ENTCS 227, 2008.
• [4] Cardona, M., Colomer, M., Pècrez-Jimènez, M., Sanuy, D., Margalida, A.: Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study, Workshop on Membrane Computing, LNCS 5391, 2008.
• [5] Cavaliere, M., Sburlan, D.: Time-Independent P Systems, Workshop on Membrane Computing, LNCS 3365, 2004.
• [6] Cavaliere, M., Zandron, C.: Time-driven Computations in P Systems, Proc. of the 4th Brainstorming Week on Membrane Computing, 2006.
• [7] Csahuj-Varj´u, E., Ibarra, O., Vaszil, G.: On the Computational Complexity of P Automata, Proc. of the International Meeting on DNA Computing, 2004.
• [8] Csahuj-Varj´u, E., Vaszil, G.: P Automata, Workshop on Membrane Computing, LNCS 2597, 2003.
• [9] Henzinger, T. A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems, Information and Computation, 111, 1994, 193-244.
• [10] Krishna, S. N., Paun, A.: Three Universality Results on P Systems, Proc. of the 3th Brainstorming Week on Membrane Computing, 2003.
• [11] Minsky, M.: Computation: Finite and Infinite Machines, Prentice-Hall, Englewood Cliffs, NJ, 1967.
• [12] Paun, G.: Computing with Membranes, Journal of Computer and System Sciences, 61, 2000, 108-143.
• [13] Paun, G.: From Cells to Computers: Computing with Membranes (P Systems), Biosystems, 59, 2001, 139-158.
• [14] Paun, G.: Membrane Computing. An Introduction, Springer, Berlin, 2002.
• [15] Rozenberg, G., Salomaa, A.: Handbook of Formal Languages, Springer, Berlin, 1997.