Modeling and Optimizing Resource Scheduling for Service Composition Based on Queuing Petri Nets | IEEE Conference Publication | IEEE Xplore