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]
@inproceedings{BoukrederaMA13,
title = {Modeling and Analysis of Reliable Contract Net Protocol Using Timed Colored Petri Nets},
author = {Djamila Boukredera and Ramdane Maamri and Samir Aknine},
year = {2013},
doi = {10.1109/WI-IAT.2013.85},
url = {http://doi.ieeecomputersociety.org/10.1109/WI-IAT.2013.85},
researchr = {https://researchr.org/publication/BoukrederaMA13},
cites = {0},
citedby = {0},
pages = {17-24},
booktitle = {2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, IAT 2013, 17-20 November 2013, Atlanta, Georgia, USA},
publisher = {IEEE Computer Society},
}