Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol ↗ ↖ Djamila Boukredera Ramdane Maamri Samir Aknine