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