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

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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00340462
Contributor : Frédéric Davesne <>
Submitted on : Thursday, November 20, 2008 - 11:29:13 PM
Last modification on : Tuesday, April 24, 2018 - 1:51:41 PM

Identifiers

  • HAL Id : hal-00340462, version 1

Collections

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. ⟨hal-00340462⟩

Share

Metrics

Record views

210