Composite service execution Petri Net and service composition optimization | IEEE Conference Publication | IEEE Xplore