Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol - Archive ouverte HAL
Article Dans Une Revue Web Intelligence and Agent Systems Année : 2016

Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol

Djamila Boukredera
  • Fonction : Auteur
Ramdane Maamri
  • Fonction : Auteur
Samir Aknine
Systèmes Cognitifs et Systèmes Multi-Agents

Domaines

Intelligence artificielle [cs.AI]

samir aknine  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01254503

Soumis le : mardi 12 janvier 2016-12:51:48

Dernière modification le : mercredi 4 septembre 2024-17:34:07

Fichier non déposé

Dates et versions

hal-01254503 , version 1 (12-01-2016)

Identifiants

  • HAL Id : hal-01254503 , version 1

Citer

Djamila Boukredera, Ramdane Maamri, Samir Aknine. Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol. Web Intelligence and Agent Systems, 2016, 14 (3), pp.245-271. ⟨hal-01254503⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-LYON1 UNIV-LYON2 INSA-LYON EC-LYON LIRIS LABEXIMU INSA-GROUPE UDL
139 Consultations
0 Téléchargements

Partager

More