Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets | IEEE Conference Publication | IEEE Xplore