Modeling and control of holonic manufacturing systems based on extended contract net protocol | IEEE Conference Publication | IEEE Xplore