 |
Free and accessible knowledge |
Conference papers
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.
https://hal.archives-ouvertes.fr/hal-00340462
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Thursday, November 20, 2008 - 11:29:13 PM
Last modification on : Sunday, June 26, 2022 - 11:48:55 AM
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Thursday, November 20, 2008 - 11:29:13 PM
Last modification on : Sunday, June 26, 2022 - 11:48:55 AM