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

Djamila Boukredera Ramdane Maamri Samir Aknine 1
1 SMA - Systèmes Multi-Agents
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Document type :
Journal articles
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01254503
Contributor : Samir Aknine <>
Submitted on : Tuesday, January 12, 2016 - 12:51:48 PM
Last modification on : Wednesday, November 20, 2019 - 3:00:34 AM

Identifiers

  • HAL Id : hal-01254503, version 1

Collections

CNRS | EC-LYON | LIRIS | UNIV-LYON2 | INSA-LYON | UNIV-LYON1 | INSA-GROUPE | LABEXIMU | UDL

Citation

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: An International Journal, 2016, 14 (3), pp.245-271. ⟨hal-01254503⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

245

Contact

CCSD