Formalisation des systèmes multi-agents par les réseaux de pétri

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

Les intérêts d'une approche formelle sont principalement une compréhension approfondie du système par la mise en évidence des ambiguïtés laissées dans l'ombre par les spécifications informelles, l'utilisation d'outils de preuve et d'évaluation, la possibilité de raffiner jusqu'à l'obtention d'une implémentation abstraite et la possibilité d'engendrer automatiquement des jeux de tests. Dans le cas des SMA, la spécification formelle correspond à l'élaboration d'un modèle, c'est-à-dire une abstraction du réel. Les réseaux de Pétri constituent un formalisme qui s'apprête bien à l'approche SMA, car d'une part ils permettent de représenter très bien le parallélisme, une des caractéristiques principales des SMA et d'autre part ils fournissent des méthodes d'analyse permettant de vérifier et d'analyser certaines propriétés générales (absence de blocage, équité,) et des propriétés spécifiques. Notre travail consiste à montrer comment certains concepts fondamentaux des Systèmes Multi-Agents peuvent être exprimés par une formalisation abstraite à l'aide des réseaux de Petri. Nous avons présenté une modélisation qui s'articule autour des principaux aspects des SMA à savoir la définition d'une architecture d'agents à base d'un RdP et la formalisation des différentes formes des interactions tells que la coopération, la coordination et la négociation.

روابط وملفات

الوثيقة في المستودع الخارجي عرض في AskZad

التعريف والنوع

رقم الوثيقة: 002cf8d6-aaac-4c41-964a-dafb659fc21f
رقم العقد: 0
نوع الوسائط: Crawler
نوع المحتوى: الرسائل العلمية
صيغة المصدر: رسائل ماجيستير
نوع الملف: word
أسماء الملفات: 1377996_1.docx, 1377996_2.pdf

بيانات النشر

ألقاب المؤلفين: [{"name_ar":" Djamel Mansouri","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":" M. Boukala","title_ar":"اشراف","title_en":"Supervision"}]
اللغة: French

المصدر والدورية

اسم المصدر: Formalisation des systèmes multi-agents par les réseaux de pétri

المحتوى والصفحات

عدد الصفحات: 0
كلمات الباحثين: Réseaux de Pétri, Traitement réparti

إشراف وإعداد

الإشراف: M. Boukala
الإعداد: Djamel Mansouri

الاقتباسات الببليوغرافية

APA

Djamel Mansouri و M. Boukala. (2005). Formalisation des systèmes multi-agents par les réseaux de pétri. أطروحة(رسائل ماجيستير). كلية المعلوماتية والالكترونيات-جامعة العلوم والتكنولوجيا هواري بومدين - الجزائر. الجزائر.

MLA

Djamel Mansouri و M. Boukala. Formalisation des systèmes multi-agents par les réseaux de pétri. 2005. كلية المعلوماتية والالكترونيات-جامعة العلوم والتكنولوجيا هواري بومدين - الجزائر، رسائل ماجيستير.