Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Résumé

In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with information about their spatial relationships. The semantics of such models is expressed through colored Petri nets to implement regulation rules, combined with topological collections to implement the spatial information. Some constraints are put on the the representation of spatial information in order to preserve the possibility of an enumerative and exhaustive state space exploration. This paper presents the modelling framework, its semantics, as well as a prototype implementation that allowed preliminary experimentation on some applications.
Fichier principal
Vignette du fichier
GKP-MECBIC-2010.pdf (356.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00666662 , version 1 (10-10-2019)

Identifiants

Citer

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩. ⟨hal-00666662⟩
73 Consultations
46 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More