Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol-Reference-Cited by-同舟云学术

Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol

Published:2016-08-04 Issue:3 Volume:14 Page:245-271
ISSN:2405-6464
Container-title:Web Intelligence
language:
Short-container-title:WEB

Author:

Boukredera Djamila¹,Maamri Ramdane²,Aknine Samir³

Affiliation:

1. LMA Laboratory, University Abderrahmane Mira of Bejaia, 06000, Algeria. E-mail: boukredera@hotmail.com

2. LIRE Laboratory, University Constantine2, Constantine, 25000, Algeria. E-mail: rmaamri@yahoo.fr

3. LIRIS Laboratory, University Claude Bernard, Lyon1, F-69622 Villeurbanne Cedex, France. E-mail: samir.aknine@univ-lyon1.fr

Publisher

IOS Press

Subject

Artificial Intelligence,Computer Networks and Communications,Software

Reference33 articles.

1. Modelling and analysis of multiple cluster tools system with random failures using coloured Petri net;Aized;The International Journal of Advanced Manufacturing Technology,2010

2. An extended multi-agent negotiation protocol;Aknine;Journal of Autonomous Agents and Multi-Agent Systems,2004

3. E. Ball and M. Butler, Event-B patterns for specifying fault-tolerance in multi-agent interaction, in: Lecture Notes in Computer Science, Vol. 5454, 2009, pp. 104–129. doi:10.1007/978-3-642-00867-2_6.

4. J. Billington and A. Gupta, Effectiveness of coloured Petri nets for modelling and analysing the Contract Net Protocol, in: Proc. of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, 2007, pp. 49–65.

5. Tools for analyzing intelligent agent systems;Bosse;The International Journal of Web Intelligence and Agent Systems,2008

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Study on the Emergency Management System considering Victims’ Self-Rescue Abilities;Discrete Dynamics in Nature and Society;2022-05-30

2. Modeling and Performance Analysis of Cognitive Radio Networks Using Stochastic Timed Colored Petri Nets;Wireless Personal Communications;2020-01-24