Modelando Sistemas de Membranas en ntcc - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Modelando Sistemas de Membranas en ntcc


The ntcc calculus has been proposed as a formalism for modeling concurrent systems such as biological systems. In this paper we explore the expresiveness of the ntcc calculus for modeling, simulating and analyzing biological systems. A legitimate question is therefore: Is it possible to model membrane systems with ntcc? In this paper as our main contribution to the solution of this question, we propose a general mechanism for modeling membrane systems in ntcc. The application of that mechanism is illustrated with a model for the LDL cholesterol degradation pathway using membrane systems defined in ntcc.
Fichier principal
Vignette du fichier
MembranasNtcc.pdf (214.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00430537 , version 1 (09-11-2009)


  • HAL Id : inria-00430537 , version 1


Angela Villota, Jesus Aranda, Diaz Juan Francisco. Modelando Sistemas de Membranas en ntcc. XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil. ⟨inria-00430537⟩
294 View
237 Download


Gmail Facebook Twitter LinkedIn More