Modeling and Analysis of Semantic Web Services with Petri Nets | IEEE Conference Publication | IEEE Xplore