Validation d'une simulation à base d'agents par l'utilisation d'un réseau de Petri

Thomas Moncion 1 Guillaume Hutzler 1 Patrick Amar 2
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 LRI - Laboratoire de Recherche en Informatique
Résumé : Hsim est un simulateur à base d'agents utilisé afin de modéliser les interactions entre macromolécules dans une cellule virtuelle en 3D. Ce simulateur n'étant pas dédié à un modèle spécifique, il permet de modéliser tout type d'interactions en utilisant un langage de description. Ces modèles, écrits par l'utilisateur, représentent les réactions entre les différentes molécules. Notre objectif est de vérifier la validité des modèles de l'utilisateur et d'en observer certaines propriétés sans faire tourner la simulation. Pour cela, nous construisons un Réseau de Petri afin de déterminer l'ensemble des assemblages macromoléculaires possibles.
Type de document :
Communication dans un congrès
Systèmes multi-agents vers la conception de systèmes artificiels socio-mimétiques (JFSMA 2005), 2005, France. pp.187--190, 2005
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00340462
Contributeur : Frédéric Davesne <>
Soumis le : jeudi 20 novembre 2008 - 23:29:13
Dernière modification le : mardi 24 avril 2018 - 13:51:41

Identifiants

  • HAL Id : hal-00340462, version 1

Collections

UNIV-EVRY | IBISC | IBISC-COSMO | UMR8623 | INRIA

Citation

Thomas Moncion, Guillaume Hutzler, Patrick Amar. Validation d'une simulation à base d'agents par l'utilisation d'un réseau de Petri. Systèmes multi-agents vers la conception de systèmes artificiels socio-mimétiques (JFSMA 2005), 2005, France. pp.187--190, 2005. 〈hal-00340462〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

208

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD