Variability model and management for web service: A petri net based approach | IEEE Conference Publication | IEEE Xplore