Research on Dynamic Service Composition Based on Object Petri Net for the Networked Information System | IEEE Conference Publication | IEEE Xplore