Formalisation de modèles multi-agents par les réseaux de Petri : application à l'étude d'un système de gestion de la chasse à l'Est Cameroun / Bakam, Innocent%Kordon, Fabrice%Le Page, ChristopheCorenthin, Alex%Philippe, Bernard-

Public ISBD Titre : Formalisation de modèles multi-agents par les réseaux de Petri : application à l'étude d'un système de gestion de la chasse à l'Est Cameroun : *** Auteurs : Bakam, Innocent%Kordon, Fabrice%Le Page, ChristopheCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 265-272 Format : 24 cm Note générale : RESEAUX ET TELEMATIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MULTI-AGENT%RESEAUX DE PETRI%MODEL CHECKING  CHASSE Résumé : Ce papier présente un cas pratique de formalisation d'un modèle multi-agent appliquée à un problème complexe. Nous utilisons les réseaux de Petri colorés pour appréhender un système multi-agent de gestion de l'activité de chasse. Le modèle multi-agent est brièvement présenté, puis le modèle réseaux de Petri colorés qui en est déduit et l'analyse formelle qui en est faite. Nous comparons les différents résultats obtenus et nous discutons l'intérêt d'une telle démarche (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Formalisation de modèles multi-agents par les réseaux de Petri : application à l'étude d'un système de gestion de la chasse à l'Est Cameroun : *** [] / Bakam, Innocent%Kordon, Fabrice%Le Page, ChristopheCorenthin, Alex%Philippe, Bernard-,  . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 265-272 ; 24 cm. RESEAUX ET TELEMATIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MULTI-AGENT%RESEAUX DE PETRI%MODEL CHECKING  CHASSE Résumé : Ce papier présente un cas pratique de formalisation d'un modèle multi-agent appliquée à un problème complexe. Nous utilisons les réseaux de Petri colorés pour appréhender un système multi-agent de gestion de l'activité de chasse. Le modèle multi-agent est brièvement présenté, puis le modèle réseaux de Petri colorés qui en est déduit et l'analyse formelle qui en est faite. Nous comparons les différents résultats obtenus et nous discutons l'intérêt d'une telle démarche (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Origine
37547	A 8544%A 8545%INF 207%INF 208	Livre	CIDST	Bibliotheque DDI	Exclu du prêt

---

1 (1 - 1 / 1)