Djamila Boukredera, Ramdane Maamri, Samir Aknine. Modeling and Analysis of Reliable Contract Net Protocol Using Timed Colored Petri Nets. In 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, IAT 2013, 17-20 November 2013, Atlanta, Georgia, USA. pages 17-24, IEEE Computer Society, 2013. [doi]
Abstract is missing.