Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol
['Djamila Boukredera', 'Ramdane Maamri', 'Samir Aknine']
Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol