Modelando Sistemas de Membranas en ntcc

Angela Villota 1 Jesus Aranda 1, 2, * Diaz Juan Francisco 1
* Auteur correspondant
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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.
Type de document :
Communication dans un congrès
XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil. 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00430537
Contributeur : Jesus Aranda <>
Soumis le : lundi 9 novembre 2009 - 11:04:12
Dernière modification le : jeudi 12 avril 2018 - 01:46:39
Document(s) archivé(s) le : jeudi 17 juin 2010 - 17:49:15

Fichier

MembranasNtcc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00430537, version 1

Collections

Citation

Angela Villota, Jesus Aranda, Diaz Juan Francisco. Modelando Sistemas de Membranas en ntcc. XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil. 2009. 〈inria-00430537〉

Partager

Métriques

Consultations de la notice

473

Téléchargements de fichiers

227