Timed P Automata

被引：5

作者：

Barbuti, Roberto ^{[1
]}

Maggiolo-Schettini, Andrea ^{[1
]}

Milazzo, Paolo ^{[1
]}

Tesei, Luca ^{[2
]}

机构：

[1] Univ Pisa, Dipartimento Informat, Largo Bruno Pontecorvo 3, I-56127 Pisa, Italy

[2] Univ Camerino, Dipartimento Matemat Informat, I-62032 Camerino, Italy

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 227卷

关键词：

Timed Automata; P Systems; Ecological models;

D O I：

10.1016/j.entcs.2008.12.102

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：21 / 36

页数：16

共 11 条

[1] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[2]

Armstrong DP, 2006, NZ J ECOLOGY, V30, P73

[3]

Cardona M, 2008, P 6 BRAINST WEEK MEM, P51

[4]

Cavaliere M., 2006, P 4 BRAINST WEEK MEM

[5]

Cavaliere M., 2004, P WORKSH MEMBR COMP, P239

[6] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS [J].

HENZINGER, TA ;

NICOLLIN, X ;

SIFAKIS, J ;

YOVINE, S .

INFORMATION AND COMPUTATION, 1994, 111 (02) :193-244

[7]

Minsky M., 1967, COMPUTATION FINITE I

[8] From cells to computers: computing with membranes (P systems) [J].

Paun, G .

BIOSYSTEMS, 2001, 59 (03) :139-158

[9]

Paun G., 1999, Fundamenta Informaticae, V38, P397

[10] Computing with membranes [J].

Päun, G .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2000, 61 (01) :108-143

← 1 2 →