Modeling and Analysis of Reliable Contract Net Protocol Using Timed Colored Petri Nets | IEEE Conference Publication | IEEE Xplore