A Petri net-based approach to QoS-aware configuration for web services | IEEE Conference Publication | IEEE Xplore