Modeling and Analysis of Reliable Contract Net Protocol Using Timed Colored Petri Nets

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]

Authors

Djamila Boukredera

This author has not been identified. Look up 'Djamila Boukredera' in Google

Ramdane Maamri

This author has not been identified. Look up 'Ramdane Maamri' in Google

Samir Aknine

This author has not been identified. Look up 'Samir Aknine' in Google