Validation of an Agent Based System Using Petri Nets

Abstract : Hsim is an agent-based simulator used to model the interactions of macromolecules in a 3D virtual cell surrounded by a membrane. This simulator is not dedicated to a specific model of macromolecular interactions but allows the modelling of any kind of interactions, described using a modelling language, written by the user of the simulator and representing reactions between the various molecules, including the formation of complexes. Our aim was to verify the validity of the user's model and to exhibit properties of the model without needing to run a simulation. To this end, we construct a Petri Net to determine all the possible macromolecular assemblies and use the Petri Net algebra to verify chosen properties.
Type de document :
Communication dans un congrès
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005, Netherlands. pp.1365--1366, 2005, 〈10.1145/1082473.1082775〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00340493
Contributeur : Frédéric Davesne <>
Soumis le : jeudi 20 novembre 2008 - 23:59:06
Dernière modification le : mardi 24 avril 2018 - 13:51:41

Identifiants

Collections

Citation

Thomas Moncion, Guillaume Hutzler, Patrick Amar. Validation of an Agent Based System Using Petri Nets. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005, Netherlands. pp.1365--1366, 2005, 〈10.1145/1082473.1082775〉. 〈hal-00340493〉

Partager

Métriques

Consultations de la notice

179